677 search results - page 127 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
BIOWIRE
2007
Springer
14 years 1 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...
ACSC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— Hybrid Wireless Mesh Networks are a combination of mobile ad hoc networks and infrastructure wireless mesh networks, consisting of two types of nodes: Mobile Mesh Clien...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
An important problem in wireless networks, such as wireless ad hoc and sensor networks, is to select a few nodes to form a virtual backbone that supports routing and other tasks s...
MOBICOM
2003
ACM
14 years 24 days ago
2003
ACM
This paper presents the expected transmission count metric (ETX), which finds high-throughput paths on multi-hop wireless networks. ETX minimizes the expected total number of pac...
PODC
2003
ACM
14 years 24 days ago
2003
ACM
All too often a seemingly insurmountable divide between theory and practice can be witnessed. In this paper we try to contribute to narrowing this gap in the field of ad-hoc rout...