288 search results - page 15 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
WONS
2005
IEEE
14 years 1 months ago
2005
IEEE
Developing and evaluating protocols and applications for mobile ad-hoc networks requires significant organisational effort when real mobile ad-hoc networks with several mobile te...
MOBIHOC
2005
ACM
14 years 7 months ago
2005
ACM
Mobile ad hoc networks (MANETs) are vulnerable to routing attacks, especially attacks launched by non-cooperative (selfish or compromised) network members and appear to be protoco...
ACMSE
2006
ACM
14 years 1 months ago
2006
ACM
: There is a growing interest in deployment and evaluation of routing protocols for Vehicular Ad-Hoc Wireless Networks (VANETs) in urban contexts. The mobility model of nodes is on...
ICUMT
2009
13 years 5 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...
P2P
2008
IEEE
14 years 1 months ago
2008
IEEE
Several protocol efficiency metrics (e.g., scalability, search success rate, routing reachability and stability) depend on the capability of preserving structure even over the ch...