DCOSS
2009
Springer
14 years 6 months ago
2009
Springer
Wireless sensor networks (WSNs) have recently gained a great deal of attention as a topic of research, with a wide range of applications being explored. Bulk data dissemination is ...
DCOSS
2009
Springer
14 years 6 months ago
2009
Springer
To meet the demands for high simulation fidelity and speed, parallel and distributed simulation techniques are widely used in building wireless sensor network simulators. However,...
DCOSS
2009
Springer
14 years 6 months ago
2009
Springer
Many wireless standards and protocols today, such as WLAN and Bluetooth, operate on similar frequency bands. While this permits an efficient usage of the limited medium capacity, ...
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. In previous work, a probabilistic notion of time divergence for p...
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. We examine the role of transactional memory from two perspectives: that of a programming language with atomic actions and that of implementations of the language. We argu...
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
In this paper, we extend the classical notion of strategies in turn-based finite games by allowing several moves to be selected. We define and study a quantitative measure for pe...
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
CONCUR
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are introduced. In this paper we consider expected reachability, discounted, ...