Digital Library
Search: "[ keyword: Design ]" (8)
-
Han Peng, Chenglie Du, Lei Rao, Zhouzhou Liu
Vol. 15, No. 3, pp. 570-592, Jun. 2019
10.3745/JIPS.01.0043
Keywords: Behavior Semantic, Design Pattern Instantiation, Event-B Design Patterns, Labeled Transition System -
Tae-Woo Kim, Sun-Yi Park, Jeong-Mo Yeo
Vol. 14, No. 6, pp. 1420-1430, Dec. 2018
10.3745/JIPS.01.0034
Keywords: Applications, Business Processes, DFD, Screen Design, Screens -
Hui-Su Gong, Sunghyun Weon, Jun-Ho Huh
Vol. 14, No. 5, pp. 1225-1236, Oct. 2018
10.3745/JIPS.02.0096
Keywords: Animal Care, Artificial Intelligence, BPM, Design, Humane Animal Care, intelligent agent, Software Engineering -
Jung-A Lee, Jong-Hak Lee
Vol. 14, No. 5, pp. 1150-1166, Oct. 2018
10.3745/JIPS.04.0086
Keywords: Image Access Structure, Image Retrieval Query, Multidimensional File Organizations, Physical Storage Design -
Jin-Wook Jang
Vol. 14, No. 3, pp. 607-620, Jun. 2018
10.3745/JIPS.04.0072
Keywords: Automobile Control Software, Risk-based Test, Software Testing Process, Test Design, Test Planning, Test Policy and Strategy, TMMi Assessment -
Sujata Mohanty, Banshidhar Majhi
Vol. 8, No. 4, pp. 567-574, Dec. 2012
10.3745/JIPS.2012.8.4.567
Keywords: Designated Verifiable, Discrete Logarithm Problem, Chosen Ciphertext Attack, Nonrepudiation -
Deng-Guo Feng, Jing Xu, Wei-Dong Chen
Vol. 7, No. 1, pp. 159-172, Mar. 2011
10.3745/JIPS.2011.7.1.159
Keywords: Strong Designated Verifier Signature, Ring signature, Deniable Authenticated Key Exchange, Provable security -
Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, Taisook Han
Vol. 2, No. 2, pp. 137-142, Jun. 2006
Keywords: Embedded System, Hardware Controller, Device driver, Code Generation, Co-design