7 search results - page 1 / 2 » mmb 2010 |
MMB
2010
Springer
13 years 9 months ago
2010
Springer
MMB
2010
Springer
13 years 6 months ago
2010
Springer
We consider a finite buffer system where the buffer content moves in a Markov-additive way while it is strictly between the buffer boundaries. Upon reaching the upper boundary of t...
MMB
2010
Springer
13 years 6 months ago
2010
Springer
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...
MMB
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
MMB
2010
Springer
13 years 8 months ago
2010
Springer
In this paper, we introduce and evaluate CrossTrace, a framework for performing cross-layer measurements in IEEE 802.11 based wireless networks. CrossTrace allows tracing of parame...