677 search results - page 44 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
IJWIN
2007
13 years 8 months ago
2007
— We analyze the asymptotic cost of discovering a route within a flat ad hoc network and we show that one can discover a route with cost that is proportional only to the area of...
ADHOC
2006
13 years 8 months ago
2006
Routing in ad-hoc networks is a complicated task because of many reasons. The nodes are low-memory, lowpowered, and they cannot maintain routing tables large enough for well-known ...
SIMUTOOLS
2008
13 years 10 months ago
2008
Mobile Ad Hoc Networks (MANETs) have evolved in the last years into standards in the communication world. By definition, they do not need any network infrastructure to facilitate ...
SEFM
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— A crucial problem in ad hoc networks is finding an efficient and correct route between a source and a destination; however for many networks, a more important problem is prov...