English
Related papers

Related papers: Formal Methods for Mobile Ad Hoc Networks: A Surve…

200 papers

This paper proposes and evaluates a new position-based Parallel Routing Protocol (PRP) for simultaneously routing multiple data packets over disjoint paths in a mobile ad-hoc network (MANET) for higher reliability and reduced communication…

Networking and Internet Architecture · Computer Science 2011-10-10 Khaled Day , Abderezak Touzene , Bassel Arafeh , Nasser Alzeidi

Mobile nodes of various routing protocols in Mobile Ad hoc Networks follow different strategies in transmission and receiving of data. Security, packet delivery and routing overhead are important concerns for any protocol during designing…

Networking and Internet Architecture · Computer Science 2017-08-08 Mohammad Riyaz Belgaum , Safeeullah Soomro , Zainab Alansari , Muhammad Alam

Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems. The main building blocks of formal methods are models and specifications,…

In a mobile ad hoc network (MANET), effective prediction of time-varying interferences can enable adaptive transmission designs and therefore improve the communication performance. This paper investigates interference prediction in MANETs…

Information Theory · Computer Science 2016-11-18 Yirui Cong , Xiangyun Zhou , Rodney A. Kennedy

Automatic IP address assignment in Mobile Ad hoc Networks (MANETs) enables nodes to obtain routable addresses without any infrastructure. Different protocols have been developed throughout the last years to achieve this service. However,…

Networking and Internet Architecture · Computer Science 2011-08-08 Zohra Slimane , Abdelhafid Abdelmalek , Mohamed Feham , Abdelmalik Taleb-Ahmed

Vehicular Ad hoc Network (VANET) is a new sort of wireless ad-hoc network. Vehicle-to-Vehicle (V2V) communication is one of the main communication paradigms that provide a level of safety and convenience to drivers and passengers on the…

Networking and Internet Architecture · Computer Science 2021-05-11 Mahmoud Ali Al Shugran

An Intrusion Detection System (IDS) detects malicious and selfish nodes in a network. Ad hoc networks are often secured by using either intrusion detection or by secure routing. Designing efficient IDS for wireless ad-hoc networks that…

Cryptography and Security · Computer Science 2011-08-31 Novarun Deb , Manali Chakraborty , Nabendu Chaki

Multicast communication plays a crucial role in Mobile Adhoc Networks (MANETs). MANETs provide low cost, self configuring devices for multimedia data communication in military battlefield scenarios, disaster and public safety networks…

Networking and Internet Architecture · Computer Science 2017-09-01 Gaurav Singal , Vijay Laxmi , Manoj S Gaur , D Vijay Rao , Riti Kushwaha

A Mobile Ad hoc network (MANET) consists of nodes which use multi-hop communication to establish connection between nodes. Traditional infrastructure based systems use a centralized architecture for address allocation. However, this is not…

Networking and Internet Architecture · Computer Science 2016-05-03 Akshay Khatri , Sankalp Kolhe , Nupur Giri

Unmanned Aerial Vehicles (UAVs) have enormous potential in the public and civil domains. These are particularly useful in applications where human lives would otherwise be endangered. Multi-UAV systems can collaboratively complete missions…

Networking and Internet Architecture · Computer Science 2016-03-29 Lav Gupta , Raj Jain , Gabor Vaszkun

Developing routing protocols for Vehicular Ad Hoc Networks (VANETs) is a significant challenge in these large, self- organized and distributed networks. We address this challenge by studying VANETs from a network science perspective to…

Networking and Internet Architecture · Computer Science 2016-11-18 Romeu Monteiro , Susana Sargento , Wantanee Viriyasitavat , Ozan K. Tonguz

Volume and movement of data rapidly increasing in every type of data communications and networking, and ad hoc networks are not spared from these challenges. Traditional Multipath routing protocols in Mobile Ad-hoc Networks (MANETs) did not…

Networking and Internet Architecture · Computer Science 2019-05-29 A. Sufian , F. Sultana , P. Dutta

Thanks to the great progress in mobile and wireless technologies, Internet-distributed applications like P2P file sharing are nowadays deployed over MANET (i.e., P2P mobile systems). These applications allow users to search and share…

Networking and Internet Architecture · Computer Science 2021-01-11 Sofian Hamad , Taoufik Yeferny

Ad hoc network is a collection of different types of nodes, which are connected in heterogeneous or homogeneous manner. It is also known as self-organizing-wireless network. The dynamic nature of ad hoc networks make them more attractive,…

Networking and Internet Architecture · Computer Science 2020-04-15 Priya P. Patel , Rutvij H. Jhaveri

Delay and Disruption Tolerant Networks (DTNs) may lack continuous network connectivity. Routing in DTNs is thus a challenge since it must handle network partitioning, long delays, and dynamic topology. Meanwhile, routing protocols of the…

Networking and Internet Architecture · Computer Science 2017-06-23 Lei You , Jianbo Li , Changjiang We , Chenqu Dai

Since the advent of wireless communication, the need for mobile ad hoc networks has been growing exponentially. This has opened up a Pandoras Box of algorithms for dealing with mobile ad hoc networks, or MANETs, as they are generally…

Data Structures and Algorithms · Computer Science 2009-10-09 Annapurna P Patil , Narmada Sambaturu , Krittaya Chunhaviriyakul

In the next generation of computing, Mobile ad-hoc network (MANET) will play a very important role in the Internet of Things (IoT). The MANET is a kind of wireless networks that are self-organizing and auto connected in a decentralized…

Networking and Internet Architecture · Computer Science 2020-06-09 Tanweer Alam , Mohamed Benaida

Self-Organized networks (SONs) have been studied for many years, and have attracted many researchers due to their substantial applications. Although the performance of such networks in the lower band networks (sub-6 GHz band frequencies)…

Networking and Internet Architecture · Computer Science 2018-08-10 Mustafa S. Aljumaily

In ad hoc wireless networking, units are connected to each other rather than to a central, fixed, infrastructure. Constructing and maintaining such networks create several trade-off problems between robustness, communication speed, power…

Physics and Society · Physics 2016-06-08 Eun Lee , Petter Holme

Mobile phone data has enabled the timely and fine-grained study human mobility. Call Detail Records, generated at call events, allow building descriptions of mobility at different resolutions and with different spatial, temporal and social…

Physics and Society · Physics 2020-03-17 David Pastor-Escuredo , Enrique Frias-Martinez