288 search results - page 25 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
124
click to vote
MSWIM
2004
ACM
15 years 7 months ago
2004
ACM
Emerging “urban” ad hoc networks resulting from a large number of individual WLAN users challenge the way users could explore and interact with their physical surroundings. Ro...
123
Voted
ICNP
2005
IEEE
15 years 7 months ago
2005
IEEE
In wireless networks, it is well understood what throughput can be achieved by nodes who can hear each other (i.e. nodes within a single cell)[1, 3]. The effects of nodes beyond t...
140
Voted
TMC
2010
15 years 8 days ago
2010
—In mobile ad hoc networks, there are many applications in which mobile users share information, e.g., collaborative rescue operations at a disaster site and exchange of word-of-...
131
click to vote
WOWMOM
2005
ACM
15 years 7 months ago
2005
ACM
Service discovery in mobile ad hoc networks is challenging because of the absence of any central intelligence in the network. Traditional solutions as used in the Internet are hen...
124
click to vote
COORDINATION
2008
Springer
15 years 3 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...