288 search results - page 43 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
WIMOB
2007
IEEE
15 years 3 months ago
2007
IEEE
Service discovery in mobile ad hoc networks (MANETs) is an integral part for collective application interoperability. The discovery process must cope not only with transient commun...
ADHOC
2008
14 years 9 months ago
2008
In this paper we present a novel probabilistic protocol for path discovery in Mobile Ad Hoc Networks (MANETs). The protocol implements what we call a polarized gossiping algorithm...
131
click to vote
BIOWIRE
2007
Springer
15 years 3 months ago
2007
Springer
Epidemics-inspired techniques have received huge attention in recent years from the distributed systems and networking communities. These algorithms and protocols rely on probabili...
NETWORKING
2007
14 years 11 months ago
2007
We evaluate the performance of a class of two-hop relay protocols for mobile ad hoc networks. The interest is on the multicopy two-hop relay (MTR) protocol, where the source may ge...
78
Voted
PEWASUN
2006
ACM
15 years 3 months ago
2006
ACM
Understanding the performance of backoff algorithms in multihop ad hoc networks is a key feature to design efficient Medium Access Protocols for wireless networks. The 802.11 bac...