English
Related papers

Related papers: Modelling and Verifying the AODV Routing Protocol

200 papers

Ad hoc networks are wireless mobile networks that can operate without infrastructure and without centralized network management. Traditional techniques of routing are not well adapted. Indeed, their lack of reactivity with respect to the…

Networking and Internet Architecture · Computer Science 2015-06-19 Omar Smail , Bernard Cousin , Zoulikha Mekkakia , Rachida Mekki

Reactive routing protocols are gaining popularity due to their event driven nature day by day. In this vary paper, reactive routing is studied precisely. Route request, route reply and route maintenance phases are modeled with respect to…

Networking and Internet Architecture · Computer Science 2013-09-18 D. Mahmood , N. Javaid , Z. A. Khan , U. Qasim , A. Khan , S. Qurashi , A. Memon

Mobile Networks are in need of what we call as an e-age. There have been numerous advancements in this field and soft computing has gained roots in this Mobile Ad-hoc Network domain. This documents studies the use of fuzzy logic over Ad Hoc…

Networking and Internet Architecture · Computer Science 2013-11-13 Gurpreet Singh Saini , Manoj Kumar

The various routing protocols in Mobile Ad hoc Networks follow different strategies to send the information from one node to another. The nodes in the network are non static and they move randomly and are prone to link failure which makes…

Networking and Internet Architecture · Computer Science 2020-10-02 Zeyad M. Alfawaer , Mohammad Riyaz Belgaum

Vehicular adhoc network or VANET is special types of adhoc network consists of moving cars referred to as nodes; provide a way to exchange any information between cars without depending on fixed infrastructure. For efficient communication…

Networking and Internet Architecture · Computer Science 2012-04-06 Bijan Paul , Md. Ibrahim , Md. Abu Naser Bikas

In this paper, we present an identity (ID) based protocol that secures AODV and TCP so that it can be used in dynamic and attack prone environments of mobile ad hoc networks. The proposed protocol protects AODV using Sequential Aggregate…

Networking and Internet Architecture · Computer Science 2014-02-11 Waleed S. Alnumay , Uttam Ghosh

Mobile Ad hoc Network (MANET) is a distributed, infrastructure-less and decentralized network. A routing protocol in MANET is used to find routes between mobile nodes to facilitate communication within the network. Numerous routing…

Networking and Internet Architecture · Computer Science 2017-06-21 Mohamad T. Sultan , Salim M. Zaki

A Mobile Ad hoc Network (MANET) is a group of mobile nodes that can be set up randomly and formed without the need of any existing network infrastructure or centralized administration. In this network the mobile devices are dependent on…

Networking and Internet Architecture · Computer Science 2013-04-12 Said El Kafhali , Abdelkrim Haqiq

In this paper, we propose an ad-hoc on-demand distance vector routing algorithm for mobile ad-hoc networks taking into account node mobility. Changeable topology of such mobile ad-hoc networks provokes overhead messages in order to search…

Networking and Internet Architecture · Computer Science 2017-06-30 Trung Kien Vu , Sungoh Kwon

In VANET high speed is the real characteristics which leads to frequent breakdown, interference etc. Therefore Performance of adhoc routing protocols is helpful to improve the Quality of Service (QOS). In this paper we studied various adhoc…

Networking and Internet Architecture · Computer Science 2012-02-09 Manish Sharma , Gurpadam Singh

In Manets Dynamics and Robustness are the key features of the nodes and are governed by several routing protocols such as AODV, DSR and so on. However in the network the growing resource demand leads to resource scarcity. The Node Mobility…

Networking and Internet Architecture · Computer Science 2017-07-12 Seema B Hegde , Sathish Babu , Pallapa Venkatram

Vehicular ad hoc networks (VANETs) are characterized by frequent routing path failures due to the high mobility caused by the sudden changes of the direction of vehicles. The routing paths between two different vehicles should be…

Networking and Internet Architecture · Computer Science 2019-08-19 Omar Sami Oubbati , Noureddine Chaib , Abderrahmane Lakas , Salim Bitam

Ad-hoc routing protocols use a number of algorithms for route discovery. Some use flooding in which a route request packet (RREQ) is broadcasted from a source node to other nodes in the network. This often leads to unnecessary…

Networking and Internet Architecture · Computer Science 2011-07-20 Venetis Kanakaris , David Ndzi , Kyriakos Ovaliadis

Vehicular Ad hoc Network (VANET) is a special class of Mobile Ad hoc Network (MANET) where vehicles are considered as MANET nodes with wireless links. The key difference of VANET and MANET is the special mobility pattern and rapidly…

Networking and Internet Architecture · Computer Science 2013-12-02 Hafez Moawad , Eman Shaaban , Zaki Taha Fayed

In this paper, a framework is presented for node distribution with respect to density, network connectivity and communication time. According to modeled framework we evaluate and compare the performance of three routing protocols; Ad-hoc…

Networking and Internet Architecture · Computer Science 2016-11-15 S. N. Mohammad , M. J. Ashraf , S. Wasiq , S. Iqbal , N. Javaid

Wireless Ad-hoc network is generally employed in military and emergencies due to its flexibility and easy-to-use. It's suitable for military wireless network that has the characteristics of mobility and works effectively under severe…

Networking and Internet Architecture · Computer Science 2013-04-09 Haibo Jiang , YaoFei Ma , Dongsheng Hong , Zhen Li

Vehicular Ad Hoc Networks (VANET) is a subclass of Mobile ad hoc networks which provides a distinguished approach for Intelligent Transport System (ITS). The survey of routing protocols in VANET is important and necessary for smart ITS.…

Networking and Internet Architecture · Computer Science 2011-08-11 Rakesh Kumar , Mayank Dave

Routing protocol specifications are traditionally written in plain English. Often this yields ambiguities, inaccuracies or even contradictions. Formal methods techniques, such as process algebras, avoid these problems, thus leading to more…

Networking and Internet Architecture · Computer Science 2020-04-29 Ryan Barry , Rob van Glabbeek , Peter Höfner

As a special type of mobile ad hoc network (MANET), the flying ad hoc network (FANET) has the potential to enable a variety of emerging applications in both civilian wireless communications (e.g., 5G and 6G) and the defense industry. The…

Networking and Internet Architecture · Computer Science 2023-08-02 Die Hu , Shaoshi Yang , Min Gong , Zhiyong Feng , Xuejun Zhu

A Wireless Sensor Networks is a network formed with sensors that have characteristics to sensor an area to extract a specific metric, depending of the application. We would like to analyse the feasibility to use sensors in a coffee crop. In…

Networking and Internet Architecture · Computer Science 2014-12-09 Ederval Pablo Ferreira da Cruz , Luis Eduardo Gottardo , Franciele Pereira Rossini , Vinicius de Souza Oliveira , Lucas Cellim Pereira