Multi-objective mobile edge provisioning in small cell clouds

V De Maio, I Brandic - Proceedings of the 2019 ACM/SPEC International …, 2019 - dl.acm.org
In recent years, Mobile Cloud Computing (MCC) has been proposed as a solution to
enhance the capabilities of user equipment (UE), such as smartphones, tablets and laptops …

A process algebra for wireless mesh networks used for modelling, verifying and analysing AODV

A Fehnker, R Van Glabbeek, P Höfner, A McIver… - arXiv preprint arXiv …, 2013 - arxiv.org
We propose AWN (Algebra for Wireless Networks), a process algebra tailored to the
modelling of Mobile Ad hoc Network (MANET) and Wireless Mesh Network (WMN) …

Location-based lattice mobility model for wireless sensor networks

A Al-Rahayfeh, A Razaque, Y Jararweh, M Almiani - Sensors, 2018 - mdpi.com
Significant research has been conducted for maintaining a high standard of communication
and good coverage in wireless sensor networks (WSNs), but extra power consumption and …

Quantitative analysis of AODV and its variants on dynamic topologies using statistical model checking

P Hoefner, M Kamali - International Conference on Formal Modeling and …, 2013 - Springer
Abstract Wireless Mesh Networks (WMNs) are self-organising ad-hoc networks that support
broadband communication. Due to changes in the topology, route discovery and …

Impact Analysis of Sink Mobility on Fault Tolerance and Delay in Wireless Body Area Networks (WBANs)

S Singh, D Prasad - 2021 9th International Conference on …, 2021 - ieeexplore.ieee.org
Wireless Body Area Networks (WBANs) has become an integral part of the Internet of Things
(IoT) era thereby. Due to the movements of the human body, the properties of WBAN radio …

Modelling, verification, and comparative performance analysis of the BATMAN protocol

K Chaudhary, A Fehnker, V Mehta - arXiv preprint arXiv:1703.06570, 2017 - arxiv.org
This paper considers on a network routing protocol known as Better Approach to Mobile Ad
hoc Networks (BATMAN). The protocol serves two aims: first, to discover all bidirectional …

Comparing AODV and N-AODV Routing Protocols for Mobile Ad-hoc Networks

A Bianchi, S Pizzutilo, G Vessio - … of the 13th International Conference on …, 2015 - dl.acm.org
Mobile Ad-hoc NETworks (MANETs) are wireless networks designed for communications
among nomadic hosts in absence of fixed infrastructure. Different reactive protocols for …

Mobility condition to study performance of MANET routing protocols

H Ziani, N Enneya, JA Chentoufi, J Laassiri - Emerging Technologies for …, 2020 - Springer
The performance of a Mobile Ad hoc Network (MANET) is closely related to the capability of
routing protocols to adapt themselves to unpredictable changes of topology network and link …

CoreASM-based evaluation of the N-AODV protocol for mobile ad-hoc networks

A Bianchi, S Pizzutilo, G Vessio - Journal of Mobile …, 2016 - journals.riverpublishers.com
Network topology awareness (NTA) is a fundamental issue in the context of computer
networks: the lack of control over the topology can negatively impact performance, security …

Reasoning about group-based mobility in MANETs

X Wu, S Liu, H Zhu, Y Zhao - 2014 IEEE 20th Pacific Rim …, 2014 - ieeexplore.ieee.org
As one of the most interesting features of mobile ad hoc networks (MANETs), mobility may
significantly affect the performance of network protocols. Realistic mobility models are not …