838 search results - page 29 / 168 » A stochastic model for BitTorrent-like systems |
DSVIS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
QEST
2008
IEEE
15 years 4 months ago
2008
IEEE
SIMPRA
2010
14 years 8 months ago
2010
Abstract — We apply finite state-dependent queueing networks to model mobility in mobile communication systems. Although they have been successfully used in the past to model ve...
WSC
2000
14 years 11 months ago
2000
Discrete-event simulation is widely used to analyse and improve the performance of manufacturing systems. The related optimization problem often includes integer design variables ...
RTAS
2007
IEEE
15 years 4 months ago
2007
IEEE
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...