2947 search results - page 75 / 590 » The timely token protocol |
121
click to vote
ENTCS
2000
15 years 4 months ago
2000
In this paper we consider two descriptions in Maude of the leader election protocol from the IEEE 1394 serial multimedia bus. Particularly, the time aspects of the protocol are st...
161
click to vote
PODC
1989
ACM
15 years 8 months ago
1989
ACM
Two tasks of communication in a multi-hop synchronous radio network are considered: point-to-point communication and broadcast (sending a message to all nodes of a network). Effi...
SSS
2007
Springer
15 years 10 months ago
2007
Springer
Flood is a communication primitive that can be used by the base station of a sensor network to send a copy of a message to every sensor in the network. When a sensor receives a fl...
143
click to vote
ICNP
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
114
click to vote
MASCOTS
2007
15 years 5 months ago
2007
—Previously, we have developed a framework to perform systematic analysis of CSMA/CA based wireless MAC protocols. The framework first identifies protocol states that meet our ...