IP Technologies White Papers

Wireless Mobile Ad-Hoc Network Protocols and Evaluation With Model Checking

Overview A Mobile Ad-hoc NETwork (MANET) is a wireless network set up temporarily without a wired infrastructure (routers, switches, servers, cables, access points, etc.). The wireless nodes in a MANET may move around and each one of them may need to forward packets for other components in the network. Because they can be deployed quickly, MANETs could be used for disaster rescue, battle field communication, sensor networks, etc. this paper focuses on investigating the specific properties that a wireless routing protocol needs to satisfy, evaluating existing wireless routing protocols with model checking, and designing better protocols.

Further White Paper Details
PublisherHarvard University File FormatPDF
Date PublishedFebruary 2007 Downloads5
FormatWhite Papers   
Topics

Quick Sitemap Links: