Continuous approximation of collective system behaviour: A tutorial
In this paper we present an overview of the field of deterministic approximation of Markov
processes, both in discrete and continuous times. We will discuss mean field approximation …
processes, both in discrete and continuous times. We will discuss mean field approximation …
Optimizing information freshness in wireless networks under general interference constraints
Age of information (AoI) is a recently proposed metric for measuring information freshness.
AoI measures the time that elapsed since the last received update was generated. We …
AoI measures the time that elapsed since the last received update was generated. We …
Planning roadside infrastructure for information dissemination in intelligent transportation systems
We consider an intelligent transportation system where a given number of infrastructured
nodes (called Dissemination Points, DPs) have to be deployed for disseminating information …
nodes (called Dissemination Points, DPs) have to be deployed for disseminating information …
Improving age of information in wireless networks with perfect channel state information
Age of information (AoI), defined as the time that elapsed since the last received update was
generated, is a newly proposed metric to measure the timeliness of information updates in a …
generated, is a newly proposed metric to measure the timeliness of information updates in a …
The impact of node selfishness on multicasting in delay tolerant networks
Due to the uncertainty of transmission opportunities between mobile nodes, delay tolerant
networks (DTNs) exploit the opportunistic forwarding mechanism. This mechanism requires …
networks (DTNs) exploit the opportunistic forwarding mechanism. This mechanism requires …
Scalable differential analysis of process algebra models
M Tribastone, S Gilmore… - IEEE Transactions on …, 2010 - ieeexplore.ieee.org
The exact performance analysis of large-scale software systems with discrete-state
approaches is difficult because of the well-known problem of state-space explosion. This …
approaches is difficult because of the well-known problem of state-space explosion. This …
Message drop and scheduling in DTNs: Theory and practice
In order to achieve data delivery in Delay Tolerant Networks (DTN), researchers have
proposed the use of store-carry-and-forward protocols: a node there may store a message in …
proposed the use of store-carry-and-forward protocols: a node there may store a message in …
Specifying and verifying properties of space
The interplay between process behaviour and spatial aspects of computation has become
more and more relevant in Computer Science, especially in the field of collective adaptive …
more and more relevant in Computer Science, especially in the field of collective adaptive …
Expected values estimated via mean-field approximation are 1/n-accurate
N Gast - Proceedings of the ACM on Measurement and Analysis …, 2017 - dl.acm.org
Mean-field approximation is a powerful tool to study large-scale stochastic systems such as
data-centers--one example being the famous power of two-choice paradigm. It is shown in …
data-centers--one example being the famous power of two-choice paradigm. It is shown in …
Roadside infrastructure planning scheme for the urban vehicular networks
L Xue, Y Yang, D Dong - Transportation Research Procedia, 2017 - Elsevier
Vehicular ad hoc network (VANET) is an emerging technology for future on-the-road
applications. However, because of the vehicle mobility uncertainty, the temporal network …
applications. However, because of the vehicle mobility uncertainty, the temporal network …