178 search results - page 1 / 36 » Modelling Network Performance with a Spatial Stochastic Proc... |
AINA
2009
IEEE
15 years 4 months ago
2009
IEEE
95
Voted
FORTE
2004
15 years 8 days ago
2004
Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...
78
Voted
WOSP
2004
ACM
15 years 4 months ago
2004
ACM
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. These stochastic probes are ...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
93
Voted
EPEW
2008
Springer
15 years 19 days ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...