275 search results - page 18 / 55 » The Polling Primitive for Computer Networks |
176
click to vote
COORDINATION
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
152
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
133
click to vote
CONEXT
2006
ACM
15 years 11 months ago
2006
ACM
The deployment of sensor networks in security- and safety-critical environments requires secure communication primitives. In this paper, we design, implement, and evaluate a new s...
120
Voted
WS
2006
ACM
15 years 11 months ago
2006
ACM
We introduce Integrity (I) regions, a novel security primitive that enables message authentication in wireless networks without the use of pre-established or pre-certified keys. ...
162
click to vote
BIOWIRE
2007
Springer
15 years 9 months ago
2007
Springer
Desynchronization is a novel primitive for sensor networks: it implies that nodes perfectly interleave periodic events to occur in a round-robin schedule. This primitive can be us...