1256 search results - page 145 / 252 » A Simple E-Voting Protocol |
129
Voted
FAC
2008
15 years 4 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
172
click to vote
GRID
2006
Springer
15 years 4 months ago
2006
Springer
Discovery of large amounts of idle CPUs in fully distributed and shared Grid systems is needed in relevant applications and is still a challenging problem. In this paper we present...
162
click to vote
JSAC
2008
15 years 4 months ago
2008
Epidemic routing has been proposed to reduce the data transmission delay in disruption tolerant wireless networks, in which data can be replicated along multiple opportunistic path...
173
click to vote
TIFS
2008
15 years 4 months ago
2008
We consider the problem of secret key distribution in a sensor network with multiple scattered sensor nodes and a mobile device that can be used to bootstrap the network. Our main...
125
click to vote
JSAC
2007
15 years 4 months ago
2007
— Various results to date have demonstrated the advantages of one or several relay nodes assisting transmissions in a wireless network. In many practical scenarios, not all nodes...