677 search results - page 43 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
ICN
2007
Springer
14 years 2 months ago
2007
Springer
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...
ICUMT
2009
13 years 6 months ago
2009
Traditional routing strategies for multi-hop wireless networks forward packets by selecting at the sender side the next hop for each packet. Recently, such a paradigm has been call...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
Supporting scalable and efficient routing and service provision in Mobile Ad Hoc Networks (MANET) has been a big research challenge. Conventional topology-based unicast and multic...
MWCN
2004
Springer
14 years 2 months ago
2004
Springer
: We propose a location-service to assist location-based routing protocols, realised through our Associativity-Based Clustering protocol. The main goal of our scheme, which employs...
IFIP
2003
Springer
14 years 2 months ago
2003
Springer
The TCP protocol exhibits poor performance in multi-hop Mobile Ad Hoc Networks (MANETs). The ultimate reason for this is that MANETs behave in a significantly different way from ...