288 search results - page 32 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
146
Voted
PERCOM
2008
ACM
15 years 1 months ago
2008
ACM
Integrating p2p services in multi-hop ad hoc networks is today a hot topic. General multi-hop , and pervasive systems in particular, can greatly benefit from high-level middleware...
109
click to vote
TMC
2008
15 years 1 months ago
2008
Content-based routing (CBR) provides a powerful and flexible foundation for distributed applications. Its communication model, based on implicit addressing, fosters decoupling amon...
141
click to vote
WICON
2008
15 years 3 months ago
2008
Mobile ad hoc networks range from traditional MANETs where end-to-end paths exist from sources to destinations, to DTNs where no contemporaneous end-to-end paths exist and communi...
106
Voted
IADIS
2003
15 years 3 months ago
2003
The purpose of MARIAN is to investigate the degree of suitability for mobile agent technology in routing, topology discovery, and automatic network reconfiguration in ad-hoc wirel...
124
click to vote
WS
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we propose a formal notion of network security for ad hoc networks. We adopt a probabilistic security framework, that is, security is defined by a polynomially bou...