192 search results - page 9 / 39 » concurrency 2002 |
TKDE
2002
14 years 10 months ago
2002
ANSOFT
1999
14 years 10 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
CONCURRENCY
2002
14 years 10 months ago
2002
We present the results of a detailed study of the Virtual Interface (VI) paradigm as a communication foundation for a distributed computing environment. Using Active Messages and ...
CONCURRENCY
2002
14 years 10 months ago
2002
We describe an information system architecture for the ACES (Asia-Pacific Cooperation for Earthquake Simulation) community. It addresses several key features of the field
FOCS
2002
IEEE
15 years 3 months ago
2002
IEEE
We show that every language in NP has a (black-box) concurrent zero-knowledge proof system using ˜O(log n) rounds of interaction. The number of rounds in our protocol is optimal,...