4612 search results - page 148 / 923 » More Communications |
154
click to vote
MOBICOM
1999
ACM
15 years 8 months ago
1999
ACM
In this paper, we present a family of adaptive protocols, called SPIN (Sensor Protocols for Information via Negotiation), that efficiently disseminates information among sensors ...
128
click to vote
ACISP
2007
Springer
15 years 8 months ago
2007
Springer
This paper studies the interplay of network connectivity and perfectly secure message transmission under the corrupting influence of a Byzantine mobile adversary that may move from...
170
click to vote
DAC
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
166
Voted
POPL
2012
ACM
14 years 1 days ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
161
click to vote
SIGCOMM
2012
ACM
13 years 7 months ago
2012
ACM
e network, similar to CPU and memory, is a critical and shared resource in the cloud. However, unlike other resources, it is neither shared proportionally to payment, nor do cl...