2947 search results - page 91 / 590 » The timely token protocol |
149
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the numb...
154
click to vote
SASN
2003
ACM
15 years 9 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
153
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
126
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
Energy consumption of mobile readers is becoming an important issue as applications of RFID systems pervade different aspects of our lives. Surprisingly, however, these systems ar...
120
click to vote
WINET
2008
15 years 4 months ago
2008
In this paper, we present a new "spatiotemporal multicast", called a "mobicast", protocol for supporting applications which require spatiotemporal coordination...