677 search results - page 13 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Many of the routing protocols that have been designed for wireless ad-hoc networks focus on energy-efficiency and guaranteeing high throughput in a non-adversarial setting. Howev...
BIOADIT
2004
Springer
14 years 14 days ago
2004
Springer
Abstract. In mobile ad-hoc networks, nodes act both as terminals and information relays, and participate in a common routing protocol, such as Dynamic Source Routing (DSR). The net...
CSFW
2010
IEEE
14 years 19 days ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...
ICNS
2007
IEEE
14 years 3 months ago
2007
IEEE
: Ad hoc networks are networks that consist of wireless mobile nodes. They are networks that do not require any preestablished infrastructure. Their ability to quickly and dynamica...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
— A novel framework is presented for the study of scalability in ad hoc networks. Using this framework, the first asymptotic analysis is provided with respect to network size, m...