5374 search results - page 52 / 1075 » The induction of communication protocols |
155
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
156
click to vote
IJHPCN
2006
15 years 6 months ago
2006
: This paper presents several ideas pertaining to desirable properties associated with protocols for moving large amounts of data over a grid of high performance computers. The pro...
157
click to vote
AMAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we study multi issue alternating-offers bargaining in a perfect information finite horizon setting, we determine the pertinent subgame perfect equilibrium, and we pro...
151
click to vote
IPCCC
2007
IEEE
16 years 18 days ago
2007
IEEE
For economic reasons sensor networks are often implemented with resource constrained micro-controllers and low-end radio transceivers. Consequently, communication is inherently un...
