677 search results - page 120 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
MOBILWARE
2009
ACM
14 years 2 months ago
2009
ACM
Abstract. In this paper, we present Chapar, an event system designed for mobile ad hoc networks that supports the publish-subscribe model as well as pointto-point and point-to-mult...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
—Some mobile ad hoc networks (MANETs) such as inter-vehicle communications require a transmission scheme that is robust to mobility and asynchronous reception with low setup over...
MOBICOM
2003
ACM
14 years 25 days 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....
SAC
2005
ACM
14 years 1 months ago
2005
ACM
This paper presents an approach to integrate publish/subscribe semantics with on-demand multicast in wireless ad hoc networks, providing dynamic group communication with fine-gra...
SAINT
2003
IEEE
14 years 26 days ago
2003
IEEE
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...