166 search results - page 1 / 34 » Specifying Performance Measures for PEPA |
89
Voted
ARTS
1999
Springer
15 years 3 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
92
Voted
WOSP
2004
ACM
15 years 4 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
94
Voted
EPEW
2008
Springer
15 years 21 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...
79
Voted
ICALP
2000
Springer
15 years 2 months ago
2000
Springer
This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, t...
95
Voted
FORTE
2004
15 years 10 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...