Location of Repository

Mobile Networking and Ad hoc networking technologies 1

By Simanta Sarma and Dr. Sarbananda Das

Abstract

Abstract: In this paper we describe mobile network & mobile ad hoc networking technology. Moreover we discuss generation of mobile network and a lean and efficient routing protocol for wireless ad hoc networks. We report on its implementation, on performance comparisons and on a formal validation result. Moreover we discuss Formal Protocol Verification and operating over infrared or Bluetooth. This paper evaluates two model checking tools, SPIN and UPPAAL, using the verification of the Ad hoc Routing protocol as a case study. Insights are reported in terms of identifying important modeling considerations and the types of ad hoc protocol properties that can realistically be verified

Topics: mobile ad hoc networks, routing protocols, Wireless networks, ad hoc routing, routing protocol Implementation, formal validation, model checking, Infrared or Bluetooth. 1. INTRODUCTION
Year: 2014
OAI identifier: oai:CiteSeerX.psu:10.1.1.412.2453
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.ijceronline.com/pap... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.