1740 search results - page 273 / 348 » Group communication protocol for flexible distributed system... |
IPCCC
1999
IEEE
14 years 1 months ago
1999
IEEE
: Most of the Web traffic today uses the HyperText Transfer Protocol (HTTP), with the Transmission Control Protocol (TCP) as the underlying transport protocol. TCP provides several...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
— Random access protocols, such as Aloha, are commonly modeled in wireless ad-hoc networks by using the protocol model. However, it is well-known that the protocol model is not a...
WIKIS
2006
ACM
14 years 2 months ago
2006
ACM
Wikis are currently in high demand in a large variety of fields, due to their simplicity and flexible nature. Documentation, reporting, project management, online glossaries and d...
VLSID
2008
IEEE
14 years 3 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
CONCUR
2004
Springer
14 years 2 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...