1950 search results - page 246 / 390 » Two Abstractions for Distributed Systems of Mobile Nodes |
150
click to vote
WDAG
2009
Springer
16 years 22 days ago
2009
Springer
The (M, W)-controller, originally studied by Afek, Awerbuch, Plotkin, and Saks, is a basic ted tool that provides an abstraction for managing the consumption of a global resource ...
155
click to vote
CONCUR
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
171
click to vote
INFOCOM
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract—We propose a novel algorithm for detecting wormhole attacks in wireless multi-hop networks. The algorithm uses only connectivity information to look for forbidden substr...
197
Voted
INFOCOM
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract—Content-based routing (CBR) is becoming increasingly popular as a building block for distributed applications. CBR differs from classical routing paradigms as messages a...
157
Voted
PPOPP
1997
ACM
15 years 10 months ago
1997
ACM
Parallel algorithm designers need computational models that take first order system costs into account, but are also simple enough to use in practice. This paper introduces the L...