2702 search results - page 239 / 541 » Message from the Editor |
192
click to vote
TMC
2011
15 years 1 months ago
2011
Abstract—We study routing overhead due to location information collection and retrieval in mobile ad-hoc networks employing geographic routing with no hierarchy. We first provid...
168
click to vote
ARESEC
2011
14 years 6 months ago
2011
—We formalise in a theorem prover the notion of provable anonymity proposed by Garcia et al. Our formalization relies on inductive definitions of message distinguish ability and...
157
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
Many interesting large-scale systems are distributed systems of multiple communicating components. Such systems can be very hard to debug, especially when they exhibit poor perfor...
187
click to vote
DSN
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper considers the eventual leader election problem in asynchronous message-passing systems where an arbitrary number t of processes can crash (t < n, where n is the tota...
171
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...