929 search results - page 153 / 186 » Modeling and Verifying Ad Hoc Routing Protocols |
MOBICOM
2003
ACM
14 years 1 months ago
2003
ACM
For many years, scalable routing for wireless communication systems was a compelling but elusive goal. Recently, several routing algorithms that exploit geographic information (e....
LPAR
2007
Springer
14 years 1 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
IWCMC
2006
ACM
14 years 1 months ago
2006
ACM
In an era of cooperating ad hoc networks and pervasive wireless connectivity, we are becoming more vulnerable to malicious attacks. Many of these attacks are silent in nature and ...
JSAC
2008
13 years 7 months ago
2008
In self-organized mobile ad hoc networks (MANETs) where each user is its own authority, fully cooperative behaviors, such as unconditionally forwarding packets for each other or ho...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Wireless Mesh Networks with static Transit Access Points (TAPs) have many advantages to connect different kinds of networks. While Mobile Ad hoc Networks still have many challenges...