288 search results - page 27 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
127
click to vote
ITCC
2005
IEEE
15 years 7 months ago
2005
IEEE
Mobile Ad-hoc Networks (MANET’s) have recently attracted a lot of attention in the research community as well as the industry. This technology has become increasingly important ...
106
click to vote
SIGMETRICS
2005
ACM
15 years 7 months ago
2005
ACM
A generic stochastic model with only two input parameters is introduced to evaluate the message delay in mobile ad hoc networks (MANETs) where nodes may relay messages. The Laplac...
177
click to vote
ADHOCNOW
2009
Springer
14 years 11 months ago
2009
Springer
Broadcasting is a commonly used feature in wireless networking, e.g. for file distribution, re-tasking, event notification, or miscellaneous maintenance. Due to the limited resourc...
102
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—The adaptation of structured P2P networks, i.e. Distributed Hash Tables (DHTs), to wireless ad-hoc networks has been investigated in recent years. Existing work assume all peers...
121
click to vote
ICC
2009
IEEE
14 years 11 months ago
2009
IEEE
We demonstrate that the gain attained by network coding (NC) on the multicast capacity of random wireless ad hoc networks is bounded by a constant factor. We consider a network wit...