929 search results - page 89 / 186 » Modeling and Verifying Ad Hoc Routing Protocols |
154
Voted
MSWIM
2009
ACM
15 years 8 months ago
2009
ACM
Cognitive Radio (CR) technology constitutes a new paradigm to provide additional spectrum utilization opportunities in wireless ad hoc networks. Recent research in this field has ...
146
click to vote
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract--We present an analytical model combining geometric and stochastic approaches to describe the effects of attacks and countermeasures on MANETs. In particular, we focus on ...
132
Voted
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
134
Voted
ICNP
2002
IEEE
15 years 9 months ago
2002
IEEE
An ad hoc network is a group of mobile wireless nodes that cooperatively form a network among themselves without any fixed infrastructure. Increasingly, power consumption within ...
172
click to vote
INTERSENSE
2006
ACM
15 years 10 months ago
2006
ACM
— Mobile Ad-hoc Networks (MANETs) are seen as an essential technology to support future Pervasive Computing Scenarios and 4G networks. In a MANET, efficient support of multipoint...