2167 search results - page 15 / 434 » Stochastic Process Algebras |
122
Voted
PE
2000
Springer
15 years 3 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
156
Voted
SIAMSC
2008
15 years 3 months ago
2008
A multilevel adaptive aggregation method for calculating the stationary probability vector of an irreducible stochastic matrix is described. The method is a special case of the ada...
104
Voted
ICML
1998
IEEE
16 years 4 months ago
1998
IEEE
143
click to vote
PE
2010
Springer
14 years 10 months ago
2010
Springer
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
158
Voted
PE
2011
Springer
14 years 10 months ago
2011
Springer
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...