Sciweavers

53 search results - page 6 / 11
» tse 2002
Sort
View
TSE
2002
95views more  TSE 2002»
14 years 11 months ago
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
Peter Frey, Radharamanan Radhakrishnan, Harold W. ...
INTERNET
2002
103views more  INTERNET 2002»
14 years 11 months ago
Enabling Distributed Corba Access to Smart Card Applications
Alvin T. S. Chan, Florine Tse, Jiannong Cao, Hong ...