226 search results - page 33 / 46 » Formal Verification of a Multicast Protocol In Mobile Networ... |
ICN
2007
Springer
14 years 1 months ago
2007
Springer
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...
AINA
2005
IEEE
14 years 1 months ago
2005
IEEE
The IPv6-enabled network architecture has recently attracted much attention. In this paper, we address the issue of connecting MANETs to global IPv6 networks while supporting IPv6...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— When the node density in a network decreases below the level necessary to sustain ad-hoc and mesh networks, communication can succeed only by leveraging node mobility and trans...
MOBIHOC
2002
ACM
14 years 7 months ago
2002
ACM
This paper presents a new carrier sensing mechanism called DVCS (Directional Virtual Carrier Sensing) for wireless communication using directional antennas. DVCS does not require ...
ATVA
2005
Springer
14 years 29 days ago
2005
Springer
Mobile ad hoc networks offer very interesting perspectives in wireless communications due to their easy deployment and their growing performances. However, due to their inherent c...