128 search results - page 5 / 26 » Formal Modeling of BeeAdHoc: A Bio-inspired Mobile Ad Hoc Ne... |
WOWMOM
2005
ACM
14 years 1 months ago
2005
ACM
Current ad hoc multicast routing protocols have been designed to build and maintain a tree or mesh in the face of a mobile environment, with fast reaction to network changes in or...
SASN
2003
ACM
14 years 22 days ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
PE
2007
Springer
13 years 7 months ago
2007
Springer
This paper addresses the delay analysis and resource consumption in mobile ad hoc networks (MANETs) equipped with throwboxes. Throwboxes are stationary, wireless devices that act ...
AINA
2006
IEEE
13 years 11 months ago
2006
IEEE
Due to the nature of radio transmissions, communications in wireless networks are easy to capture and analyze. Next to this, privacy enhancing techniques (PETs) proposed for wired...
INFOCOM
2000
IEEE
13 years 12 months ago
2000
IEEE
Ad hoc networks are characterized by multihop wireless connectivity, frequently changing network topology and the need for efficient dynamic routing protocols. We compare the perf...