288 search results - page 26 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
117
click to vote
ICDCSW
2007
IEEE
15 years 5 months ago
2007
IEEE
VANETs (Vehicle Ad hoc NETworks) are highly mobile wireless ad hoc networks targeted to support vehicular safety and other commercial applications. Conventional routing protocols ...
105
Voted
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—In hierarchical mobile ad hoc networks, the architectual stability is a key factor in determining the network performance. There are many solutions proposed to construct...
178
click to vote
INFOCOM
2012
IEEE
13 years 4 months ago
2012
IEEE
Abstract—Capacity scaling laws offer fundamental understanding on the trend of user throughput behavior when the network size increases. Since the seminal work of Gupta and Kumar...
127
click to vote
MSWIM
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents ARC (Adaptive Range Control), a communication range control mechanism using directional antennas to be implemented across multiple layers. ARC uses directional...
113
Voted
FCSC
2008
15 years 1 months ago
2008
The population protocol model [2] has emerged as an elegant computation paradigm for describing mobile ad hoc networks, consisting of a number of mobile nodes that interact with e...