| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Myungchul Kim Hongseock Jeon , Myungchul Kim, Kyunghee Lee , Jeonghoon Mo , Danhyung Lee : Link Layer Assisted Multicast-Based Mobile RSVP (LM-MRSVP). ICOIN 2005 : 452-462 Jeongin Kim , Myungchul Kim, Kyounghee Lee , Seungphil Hong : Fast Recovery for TCP-Friendly Rate Control in Mobile IP Networks. International Conference on Wireless Networks 2004 : 39-45 Kyounghee Lee , Myungchul Kim, Sungwon Kang , Jonghyun Lee : Selective Establishment of Pseudo Reservations for QoS Guarantees in Mobile Internet. Mobile Data Management 2004 : 243- Eriko Nurvitadhi , Ben Lee , Chansu Yu , Myungchul Kim: A Comparative Study of Dynamic Voltage Scaling Techniques for Low-Power Video Decoding. Embedded Systems and Applications 2003 : 292-298 Vadim Trenkaev , Myungchul Kim, Soonuk Seol : Interoperability Testing Based on a Fault Model for a System of Communicating FSMs. TestCom 2003 : 226-242 Sangjo Yoo , Kyung Sup Kwak , Myungchul Kim: Predictive and measurement-based dynamic resource management and QoS control for videos. Computer Communications 26 (14): 1651-1661 (2003) Soonuk Seol , Myungchul Kim, Sungwon Kang , Jiwon Ryu : Fully automated interoperability test suite derivation for communication protocols. Computer Networks 43 (6): 735-759 (2003) Moonsoo Kang , Chansu Yu , Hee Yong Youn , Ben Lee , Myungchul Kim: Isomorphic Strategy for Processor Allocation in k-Ary n-Cube Systems. IEEE Trans. Computers 52 (5): 645-657 (2003) Myungchul Kim, Sangjo Yoo , Jinhee Park , Sungwon Kang , Soon J. Hyun , Hyuckjae Lee : A dynamic protocol conformance test method. Journal of Systems and Software 67 (1): 31-43 (2003) Eunsuk Cho , Insuk Park , Soon J. Hyum , Myungchul Kim: ARML: an active rule mark-up language for heterogeneous active information systems. RuleML 2002 Soonuk Seol , Myungchul Kim, Samuel T. Chanson : Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle. TestCom 2002 : 151-168 Cédric Besse , Ana R. Cavalli , Myungchul Kim, Fatiha Zaïdi : Automated Generation of Interoperability Tests. TestCom 2002 : 169- Myungchul Kim, Byoungmoon Chin , Sungwon Kang , Danhyung Lee : Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21 st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea Kluwer 2001 Jongkuk Lee , Myungchul Kim, Hee Yong Youn , Yusik Hahm , Dongman Lee : Class-Based Proxy Server for Mobile Computers. ICPP Workshops 2000 : 559-566 Wonyong Yoon , Dongman Lee , Chansu Yu , Myungchul Kim: Tree-Based Reliable Multicast in Combined Fixed/Mobile IP Networks. LCN 2000 : 478-487 Jiwon Ryu , Myungchul Kim, Sungwon Kang , Soonuk Seol : Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques. TestCom 2000 : 127-142 Sungwon Kang , Jaehwi Shin , Myungchul Kim: Interoperability test suite derivation for communication protocols. Computer Networks 32 (3): 347-364 (2000) Myungchul Kim, Jaehwi Shin , Samuel T. Chanson , Sungwon Kang : An enhanced model for testing asynchronous communicating systems. FORTE 1999 : 337-356 Soonuk Seol , Myungchul Kim, Sungwon Kang , Yongbum Park , Younghan Choe : Interoperability Test Suite Derivation for the TCP. FORTE 1999 : 357-376 Yongbum Park , Myungchul Kim, Sungwon Kang : Conformance Testing of Multiprotocol IUTs. IWTCS 1999 : 267-286 Sungwon Kang , Youngsoo Seo , Deukyoon Kang , Mijeong Hong , Junhwan Yang , Ilkook Koh , Joehwi Shin , Sangjo Yoo , Myungchul Kim: Development and Application of ATM Protocol Conformance Test System. IWTCS 1999 : 331-346 Myungchul Kim, Samuel T. Chanson , Son T. Vuong : Concurrency Model for Distributed Systems. J. Parallel Distrib. Comput. 59 (3): 445-464 (1999) Deukyoon Kang , Sungwon Kang , Myungchul Kim, Sangjo Yoo : A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines. FORTE 1997 : 267-282 Sungwan Kang , Myungchul Kim: Interoperability Test Suite Derivation for Symmetric Communication Protocols. FORTE 1997 : 57-72 Myungchul Kim, Samuel T. Chanson , Son T. Vuong : Concurrency Model and Its Application to Formal Protocol Specifications. INFOCOM 1993 : 766-773 1 [ 14 ] 2 [ 14 ] 3 [ 1 ] [ 4 ] [ 8 ] [ 15 ] 4 [ 13 ] 5 [ 16 ] 6 [ 7 ] 7 [ 12 ] 8 [ 5 ] 9 [ 24 ] 10 [ 16 ] 11 [ 17 ] 12 [ 25 ] 13 [ 3 ] [ 5 ] 14 [ 18 ] 15 [ 2 ] 16 [ 3 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 13 ] [ 17 ] [ 19 ] [ 23 ] 17 [ 24 ] 18 [ 5 ] 19 [ 20 ] 20 [ 18 ] [ 22 ] 21 [ 13 ] [ 25 ] 22 [ 11 ] [ 12 ] 23 [ 17 ] 24 [ 23 ] 25 [ 12 ] 26 [ 23 ] [ 24 ] 27 [ 25 ] 28 [ 25 ] 29 [ 22 ] 30 [ 16 ] 31 [ 17 ] 32 [ 6 ] [ 7 ] 33 [ 10 ] [ 19 ] 34 [ 5 ] 35 [ 7 ] [ 10 ] [ 15 ] [ 19 ] [ 21 ] 36 [ 8 ] [ 9 ] 37 [ 5 ] 38 [ 21 ] 39 [ 1 ] [ 4 ] 40 [ 5 ] 41 [ 3 ] [ 5 ] [ 17 ] [ 20 ] 42 [ 11 ] 43 [ 12 ] [ 18 ] 44 [ 11 ] [ 18 ] [ 22 ] 45 [ 14 ]  ©2005 Association for Computing Machinery |
