5374 search results - page 146 / 1075 » The induction of communication protocols |
160
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
177
click to vote
ICC
2008
IEEE
16 years 29 days ago
2008
IEEE
— The connected dominating set (CDS) has been extensively used for routing and broadcast in mobile ad hoc networks. While existing CDS protocols are successful in constructing CD...
173
click to vote
DSN
2006
IEEE
16 years 17 days ago
2006
IEEE
In the asynchronous distributed system model, consensus is obtained in one communication step if all processes propose the same value. Assuming f < n/3, this is regardless of t...
202
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
163
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Cooperative relaying methods can improve wireless links, but introduce overhead due to relay selection and resource reservation compared to non-cooperative transmission. In order t...