QoS aware stable path routing (QASR) protocol for MANETs
G Chauhan, S Nandi - … on Emerging Trends in Engineering and …, 2008 - ieeexplore.ieee.org
Dynamic topology and limited bandwidth of mobile ad hoc networks (MANETs) make end-to-
end QoS support an inherently complex and difficult task. Most of the current QoS routing …
end QoS support an inherently complex and difficult task. Most of the current QoS routing …
Adaptive finance and control: Combining lean, agile, and beyond budgeting for financial and organizational flexibility
R Sirkiä, M Laanti - 2015 48th Hawaii International Conference …, 2015 - ieeexplore.ieee.org
Enterprises that approach uncertainty and risk in software development based on lean and
agile methods [1] often do experience financial planning of projects as a restriction …
agile methods [1] often do experience financial planning of projects as a restriction …
Scalable reaction network modeling with automatic validation of consistency in Event-B
Constructing a large biological model is a difficult, error-prone process. Small errors in
writing a part of the model cascade to the system level and their sources are difficult to trace …
writing a part of the model cascade to the system level and their sources are difficult to trace …
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 …
hoc Networks (BATMAN). The protocol serves two aims: first, to discover all bidirectional …
Modelling link state routing in Event-B
In this paper we present a stepwise formal development of the Optimised Link State Routing
(OLSR) protocol in Event-B. OLSR is a proactive routing protocol which finds routes for …
(OLSR) protocol in Event-B. OLSR is a proactive routing protocol which finds routes for …
AODVv2: performance vs. loop freedom
We compare two evolutions of the Ad-hoc On-demand Distance Vector (AODV) routing
protocol, ie DYMO and AODVv2-16. In particular, we apply statistical model checking to …
protocol, ie DYMO and AODVv2-16. In particular, we apply statistical model checking to …
Improved recovery for proactive, distributed routing
The Optimised Link State Routing (OLSR) protocol is a proactive, ad-hoc distributed routing
protocol for Wireless Mesh Networks (WMNs). In this paper we demonstrate that by …
protocol for Wireless Mesh Networks (WMNs). In this paper we demonstrate that by …
Comparing routing protocols
A routing protocol disseminates information for route selection between any two nodes on a
network and thus provides the ground for sending data (packets) through the network …
network and thus provides the ground for sending data (packets) through the network …
Stepwise construction of a metabolic network in Event-B: The heat shock response
There is a high interest in constructing large, detailed computational models for biological
processes. This is often done by putting together existing submodels and adding to them …
processes. This is often done by putting together existing submodels and adding to them …
Comparative study of MPR selection algorithms based on Statistical Model Checking
O Barki, Z Guennoun, A Addaim - 2016 5th International …, 2016 - ieeexplore.ieee.org
MANET (Mobile Ad hoc Network) networks are distinguished by mobile and dynamic
infrastructure due to the behavior and random movement of the nodes. Its administration is …
infrastructure due to the behavior and random movement of the nodes. Its administration is …