Myungchul Kim

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2019
ReSeT: Reducing the Service Disruption Time of Follow Me Edges over Wide Area Networks.
Proceedings of the 22nd Conference on Innovation in Clouds, 2019

2017
Secure-EPCIS: Addressing Security Issues in EPCIS for IoT Applications.
Proceedings of the 2017 IEEE World Congress on Services, 2017

2008
A cross-layer approach for TCP optimization over wireless and mobile networks.
Comput. Commun., 2008

2007
Condition Monitoring of DC Link Electrolytic Capacitors in Adjustable Speed Drives.
Proceedings of the Conference Record of the 2007 IEEE Industry Applications Conference Forty-Second IAS Annual Meeting, 2007

2003
Predictive and measurement-based dynamic resource management and QoS control for videos.
Comput. Commun., 2003

2002
ARML: an active rule mark-up language for heterogeneous active information systems.
Proceedings of the RuleML 2002, 2002

Automated Generation of Interoperability Tests.
Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

Extensions to DNS for Supporting Internationalized Domain Names.
Proceedings of the Information Networking, 2002

2000
The Active Traffic Control Mechanism for Layered Multimedia Multicast in Active Network.
Proceedings of the MASCOTS 2000, Proceedings of the 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 29 August, 2000

Tree-Based Reliable Multicast in Combined Fixed/Mobile IP Networks.
Proceedings of the Proceedings 27th Conference on Local Computer Networks, 2000

Class-Based Proxy Server for Mobile Computers.
Proceedings of the 2000 International Workshop on Parallel Processing, 2000

1999
Concurrency Model for Distributed Systems.
J. Parallel Distributed Comput., 1999

1996
TESTVAL, a tool for protocol test validation and the validation of a LAPB test suite as an example.
Comput. Commun., 1996

1993
The UBC Protocol Testing Environment.
Proceedings of the Protocol Test Systems, 1993

Concurrency Model and Its Application to Formal Protocol Specifications.
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

1991
Protocol Trace Analysis Based on Formal Specifications.
Proceedings of the Formal Description Techniques, 1991


  Loading...