677 search results - page 42 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
SIGMOBILE
2002
13 years 8 months ago
2002
IEICET
2010
13 years 7 months ago
2010
CORR
2011
Springer
13 years 17 days ago
2011
Springer
ACC
2011
12 years 8 months ago
2011
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
This paper is motivated by the observation that current research in ad hoc networks mostly assumes a physically flat network architecture with the nodes having homogeneous charact...