English
Related papers

Related papers: Modeling and Efficient Verification of Wireless Ad…

200 papers

Mobile Ad-hoc Network (MANET) is a distributed, decentralized network of wireless portable nodes connecting directly without any fixed communication base station or centralized administration. Nodes in MANET move continuously in random…

Networking and Internet Architecture · Computer Science 2023-03-16 Mohamad T Sultan , Hesham El Sayed , Manzoor Ahmed Khan

This paper investigates the latter scenario of individual emergency alerts in airports by applying two existing benchmark delay tolerant network protocols and evaluating their performance of delivery ratio and latency. First, the paper…

Networking and Internet Architecture · Computer Science 2026-01-01 Nana Oye Akrofi Quarcoo , Milena Radenkovic

Mobile ad hoc network is a wireless, self-configured, infrastructureless network of mobile nodes. The nodes are highly mobile, which makes the application running on them face network related problems like node failure, link failure,…

Networking and Internet Architecture · Computer Science 2015-09-01 Anandi Giridharan , Pallapa Venkataram

In this paper we examine mobile ad-hoc networks (MANET) composed by unmanned aerial vehicles (UAVs). Due to the high-mobility of the nodes, these networks are very dynamic and the existing routing protocols partly fail to provide a reliable…

Networking and Internet Architecture · Computer Science 2013-07-25 Stefano Rosati , Karol Kruzelecki , Louis Traynard , Bixio Rimoldi

The wireless ad hoc networks are highly vulnerable to distributed denial of service(DDoS) attacks because of its unique characteristics such as open network architecture, shared wireless medium and stringent resource constraints. These…

Cryptography and Security · Computer Science 2011-06-08 S. A. Arunmozhi , Y. Venkataramani

We address the problem of inferring the topology of a wireless network using limited observational data. Specifically, we assume that we can detect when a node is transmitting, but no further information regarding the transmission is…

Networking and Internet Architecture · Computer Science 2025-07-03 James Martin , Tristan Pryer , Luca Zanetti

In the last few years, the Internet throughput, usage and reliability have increased almost exponentially. The introduction of broadband wireless mobile ad hoc networks (MANETs) and cellular networks together with increased computational…

Networking and Internet Architecture · Computer Science 2010-12-14 Jaydip Sen , Shomik Bhattacharya

Ad-hoc networks are specifically designed to facilitate communication in environments where establishing a dedicated network infrastructure is exceedingly complex or impractical. The integration of clustering concepts into various ad-hoc…

Networking and Internet Architecture · Computer Science 2024-07-04 Adda Boualem , Marwane Ayaida , Hichem Sedjelmaci , Chaimaa Khalfi , Kamilia Brahimi , Bochra Khelil , Sanaa Bouchama

Vehicular Ad-hoc Networks (VANET) are self-organized, distributed communication networks built up from moving vehicles where each node is characterized by variable speed, strict limits of freedom in movement patterns and a variety of…

Networking and Internet Architecture · Computer Science 2013-04-17 Alice Castellano , Francesca Cuomo

Language models are increasingly used not only as standalone predictors but also as components in larger inference systems, from test-time reasoning to multi-model collaboration. We study language model networks, where pre-trained language…

Artificial Intelligence · Computer Science 2026-05-14 Shiguang Wu , Yaqing Wang , Quanming Yao

Vehicular Ad hoc NETworks (VANETs) have emerged as a platform to support intelligent inter-vehicle communication and improve traffic safety and performance. The road-constrained, high mobility of vehicles, their unbounded power source, and…

Other Computer Science · Computer Science 2011-10-05 Nicholas Loulloudes , George Pallis , Marios D. Dikaiakos

Wireless ad hoc networks are seldom characterized by one single performance metric, yet the current literature lacks a flexible framework to assist in characterizing the design tradeoffs in such networks. In this work, we address this…

Networking and Internet Architecture · Computer Science 2010-08-17 Katia Jaffrès-Runser , Cristina Comaniciu , Jean-Marie Gorce

We propose a process algebra for wireless mesh networks that combines novel treatments of local broadcast, conditional unicast and data structures. In this framework, we model the Ad-hoc On-Demand Distance Vector (AODV) routing protocol and…

Logic in Computer Science · Computer Science 2015-12-24 Ansgar Fehnker , Rob van Glabbeek , Peter Höfner , Annabelle McIver , Marius Portmann , Wee Lum Tan

Mobile Ad-hoc Network (MANET) is the self organizing collection of mobile nodes. The communication in MANET is done via a wireless media. Ad hoc wireless networks have massive commercial and military potential because of their mobility…

Networking and Internet Architecture · Computer Science 2012-10-12 S. Nithya Rekha , Dr. C. Chandrasekar

In Heterogeneous mobile ad hoc networks (MANETs) congestion occurs with limited resources. Due to the shared wireless channel and dynamic topology, packet transmissions suffer from interference and fading. In heterogeneous ad hoc networks,…

Networking and Internet Architecture · Computer Science 2009-08-03 B. Narasimhan , S. Santhosh baboo

The wireless mobile ad hoc network (MANET) architecture is one consisting of a set of mobile hosts capable of communicating with each other without the assistance of base stations. This has made possible creating a mobile distributed…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-11-10 Ruchi Tuli , Parveen Kumar

In this paper we discuss the state of the art of (mobile) multi-hop ad hoc networking with the aim to present the current status of the research activities and identify the consolidated research areas, with limited research opportunities,…

Networking and Internet Architecture · Computer Science 2021-09-22 Marco Conti , Chiara Boldrini , Salil S. Kanhere , Enzo Mingozzi , Elena Pagani , Pedro M. Ruiz , Mohamed Younis

OMNeT++ is a widely used platform for all types of network simulations. The open source simulation framework Artery can be used to perform Vehicular Ad Hoc Network (VANET) simulations. This paper presents an approach for connecting this…

Networking and Internet Architecture · Computer Science 2017-09-08 Christina Obermaier , Christian Facchi

A crucial issue for a mobile ad hoc network is the handling of a large number of nodes. As more nodes join the mobile ad hoc network, contention and congestion are more likely. The on demand routing protocols which broadcasts control…

Networking and Internet Architecture · Computer Science 2010-10-01 Sharmila Sankar , Dr. V. Sankaranarayanan

We study the multi-message broadcast problem using abstract MAC layer models of wireless networks. These models capture the key guarantees of existing MAC layers while abstracting away low-level details such as signal propagation and…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-05-08 Mohsen Ghaffari , Erez Kantor , Nancy Lynch , Calvin Newport