7992 search results - page 96 / 1599 » Communication Abstractions for Distributed Systems |
CCS
2006
ACM
14 years 1 months ago
2006
ACM
Programmers of large-scale trusted systems need tools to simplify tasks such as replicating services or data. Group communication systems achieve this via various flavors of relia...
NGC
2002
Springer
13 years 9 months ago
2002
Springer
Abstract As opportunities for international collaboration and crosscultural communication among people from heterogeneous cultures increase, the importance of electronic communicat...
MFCS
1995
Springer
14 years 1 months ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
CSE
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—A primary goal of vehicular communication systems is the enhancement of traffic safety by equipping vehicles with wireless communication units to facilitate cooperative...