677 search results - page 57 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
— Many ad hoc routing protocols are based on (some variant of) flooding. Despite various optimizations, many routing messages are propagated unnecessarily. We propose a gossipin...
ICOIN
2001
Springer
14 years 1 months ago
2001
Springer
A mobile ad-hoc network (MANET) is a characteristized by multi-hop wireless links, in the absence of any cellular infrastructure, as well as frequent host mobility. Existing on-de...
BROADNETS
2006
IEEE
13 years 10 months ago
2006
IEEE
Routing protocols developed for ad hoc wireless networks use broadcast transmission to either discover a route or disseminate information. More specifically, reactive routing proto...
JCO
2006
13 years 8 months ago
2006
Reliability is a very important issue in Mobile Ad hoc NETworks (MANETs). Shortest paths are usually used to route packets in MANETs. However, a shortest path may fail quickly, bec...
MOBICOM
2006
ACM
14 years 2 months ago
2006
ACM
It was recently reported that all known face and combined greedy-face routing variants cannot guarantee message delivery in arbitrary undirected planar graphs. The purpose of this...