1498 search results - page 2 / 300 » A Process Calculus for Mobile Ad Hoc Networks |
SEFM
2008
IEEE
13 years 10 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
COMCOM
2002
13 years 4 months ago
2002
In this paper, we propose a new protocol for wireless mobile ad hoc communications, which establishes a dynamic wireless mobile infrastructure to mimic and maintain the operation ...
KIVS
2005
Springer
13 years 9 months ago
2005
Springer
Multi-hop ad hoc networks are envisioned to be an integral part of future mobile networks. Today, however, ad hoc networks lack the necessary resilience and reliability. This work ...
MOBIHOC
2001
ACM
14 years 3 months ago
2001
ACM
In this paper, we describe the formatting guidelines for ACM SIG Proceedings.
ISCAPDCS
2003
13 years 5 months ago
2003
Ad hoc networks provide a dynamically reconfigurable network infrastructure where entities can participate at will. Jini technology can be used to implement an ad hoc network, and...