Yen-Min Huang

Publication Activity (10 Years)

Years Active: 1994-1998
Publications (10 Years): 0

Publications

Yen-Min Huang, Chinya V. Ravishankar
Constructive Protocol Specification Using Cicero. IEEE Trans. Software Eng. 24 (4) (1998)
Yen-Min Huang, Chinya V. Ravishankar
Secure synthesis and activation of protocol translation agents. Distributed Syst. Eng. 4 (4) (1997)
Yen-Min Huang, Chinya V. Ravishankar
URPC: A Toolkit for Prototyping Remote Procedure Calls. Comput. J. 39 (6) (1996)
Yen-Min Huang, Chinya V. Ravishankar
Designing an Agent Synthesis System for Cross-RPC Communication. IEEE Trans. Software Eng. 20 (3) (1994)
Yen-Min Huang, Chinya V. Ravishankar
Linguistic Support for Controlling Protocol Execution. ICDCS (1994)