275 search results - page 18 / 55 » The Polling Primitive for Computer Networks |
99
Voted
COORDINATION
2004
Springer
15 years 2 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...
SP
2009
IEEE
15 years 4 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 ...
CONEXT
2006
ACM
15 years 3 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...
WS
2006
ACM
15 years 3 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. ...
BIOWIRE
2007
Springer
15 years 1 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...