Digital Library

Search: "[ author: Kyung Hee Choi ]" (35)
    Improvement of a Simulink Debugger Capacity for Model Verification
    Seong Jo Kim , Hong Seok Lee , Kyung Hee Choi , Ki Hyun Chung The KIPS Transactions:PartD, Vol. 17, No. 2, pp. 111-118, Apr. 2010
    10.3745/KIPSTD.2010.17.2.111


    Automatic Test Case Generation Through 1-to-1 Requirement Modeling
    Jung Sup Oh , Kyung Hee Choi , Gi Hyun Jung The KIPS Transactions:PartD, Vol. 17, No. 1, pp. 41-52, Feb. 2010
    10.3745/KIPSTD.2010.17.1.41


    Translation Technique of Requirement Model using Natural Language
    Jung Sup Oh , Hye Ryun Lee , Kang Bin Yim , Kyung Hee Choi , Ki Hyun Jung The KIPS Transactions:PartD, Vol. 15, No. 5, pp. 647-658, Oct. 2008
    10.3745/KIPSTD.2008.15.5.647


    A Single Requirement Modeling with Graphical Language for Embedded System
    Jung Sup Oh , Hong Seok Lee , Hyun Sang Park , Jang Bok Kim , Kyung Hee Choi , Ki Hyun Jung The KIPS Transactions:PartD, Vol. 15, No. 4, pp. 505-512, Aug. 2008
    10.3745/KIPSTD.2008.15.4.505


    A Study on CAN Based System Reliability Test
    Jong Hyun Kim , Ki Hyun Chung , Kyung Hee Choi The KIPS Transactions:PartC, Vol. 15, No. 3, pp. 199-204, Jun. 2008
    10.3745/KIPSTC.2008.15.3.199


    Economic Damage Model on Industries due to Internet Attack and A Case Study
    Jong Ho Jang , Ki Hyun Chung , Kyung Hee Choi The KIPS Transactions:PartC, Vol. 15, No. 3, pp. 191-198, Jun. 2008
    10.3745/KIPSTC.2008.15.3.191


    Development of an Application for Reliability Testing on Controller Area Network
    Ho Suk Kang , Kyung Hee Choi , Gi Hyun Jung The KIPS Transactions:PartD, Vol. 14, No. 6, pp. 649-656, Oct. 2007
    10.3745/KIPSTD.2007.14.6.649


    Reducing False Alarm and Shortening Worm Detection Time in Virus Throttling
    Jae Hong Shim , Jang Bok Kim , Kyung Hee Choi , Qi Hyun Jung The KIPS Transactions:PartC, Vol. 12, No. 6, pp. 847-854, Oct. 2005
    10.3745/KIPSTC.2005.12.6.847


    E-mail Sending-Server Authorization Method using a Distance Estimation Algorithm between IP Addresses for Filtering Spam
    Ho Sung Yim , Jae Hong Shim , Kyung Hee Choi , Gi Hyun Jung The KIPS Transactions:PartC, Vol. 12, No. 5, pp. 765-772, Oct. 2005
    10.3745/KIPSTC.2005.12.5.765


    A class-based rate Limiting method applicable to the network processor
    Jin Taek Noh , Jin Sun Lee , Kyung Hee Choi , Gi Hyun Jung , Kang Bin Yim The KIPS Transactions:PartC, Vol. 12, No. 5, pp. 725-732, Oct. 2005
    10.3745/KIPSTC.2005.12.5.725


Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTSDE is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

KTSDE is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Organization


Related Journals