288 search results - page 31 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
108
click to vote
PEWASUN
2005
ACM
15 years 7 months ago
2005
ACM
This paper examines several MANET behaviors and suggests root causes using a stochastic model of received power. It focuses specifically on MANET mechanisms most impacted by fin...
102
click to vote
ICDCS
2003
IEEE
15 years 7 months ago
2003
IEEE
Three collision-avoidance protocols are analyzed that use omni-directional packet reception together with omnidirectional transmissions, directional transmissions, or a combinatio...
136
click to vote
SENSYS
2003
ACM
15 years 7 months ago
2003
ACM
We present a technique for compression of shortest paths routing tables for wireless ad hoc networks. The main characteristic of such networks is that geographic location of nodes...
121
click to vote
DIALM
1999
ACM
15 years 6 months ago
1999
ACM
We consider routing problems in ad hoc wireless networks modeled as unit graphs in which nodes are points in the plane and two nodes can communicate if the distance between them is...
146
click to vote
IWQOS
2001
Springer
15 years 6 months ago
2001
Springer
Ad-hoc wireless networks consist of mobile nodes interconnected by multi-hop wireless paths. Unlike conventional wireless networks, ad-hoc networks have no fixed network infrastru...