3938 search results - page 745 / 788 » Interactive Protocols on the Reals |
SPIN
2001
Springer
14 years 1 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
HPDC
2000
IEEE
14 years 1 months ago
2000
IEEE
The BaBar experiment at the Stanford Linear Accelerator Center (SLAC) is designed to perform a high precision investigation of the decays of the B-meson produced from electron-pos...
ICNP
2000
IEEE
14 years 1 months ago
2000
IEEE
The majority of the traffic (bytes) flowing over the Internet today have been attributed to the Transmission Control Protocol (TCP). This strong presence of TCP has recently spu...
AC
2000
Springer
14 years 1 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
DSOM
2000
Springer
14 years 1 months ago
2000
Springer
An understanding of certain network functions is critical for successful network management. Managers must have insight into network topology, protocol performance and fault detec...