Sciweavers

129 search results - page 17 / 26
» Randomized leader election
Sort
View
ADHOCNOW
2010
Springer
13 years 9 months ago
On Alarm Protocol in Wireless Sensor Networks
We consider the problem of efficient alarm protocol for ad-hoc radio networks consisting of devices that try to gain access for transmission through a shared radio communication ch...
Jacek Cichon, Rafal Kapelko, Jakub Lemiesz, Marcin...
EV
2006
78views Hardware» more  EV 2006»
13 years 8 months ago
How E-Voting Technology Challenges Traditional Concepts of Citizenship: an Analysis of French Voting Rituals
: This paper describes the direct relationship between the perception of citizenship and its material expression, with emphasis on how changing expression obliges a rethink of the ...
Laurence Monnoyer-Smith
FTCS
1998
89views more  FTCS 1998»
13 years 8 months ago
The Timed Asynchronous Distributed System Model
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
Flaviu Cristian, Christof Fetzer
ICECCS
2010
IEEE
161views Hardware» more  ICECCS 2010»
13 years 7 months ago
Model Checking Round-Based Distributed Algorithms
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
Xin An, Jun Pang
FCSC
2008
104views more  FCSC 2008»
13 years 7 months ago
On automatic verification of self-stabilizing population protocols
The population protocol model [2] has emerged as an elegant computation paradigm for describing mobile ad hoc networks, consisting of a number of mobile nodes that interact with e...
Jun Pang, Zhengqin Luo, Yuxin Deng