Sciweavers

53 search results - page 6 / 11
» tse 2002
Sort
View
TSE
2002
95views more  TSE 2002»
13 years 9 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»
13 years 9 months ago
Enabling Distributed Corba Access to Smart Card Applications
Alvin T. S. Chan, Florine Tse, Jiannong Cao, Hong ...