5 search results - page 1 / 1 » An Efficient Symbolic Elimination Algorithm for the Stochast... |
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
FORTE
2004
13 years 5 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
FMICS
2008
Springer
13 years 5 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
WER
2010
Springer
13 years 2 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
FMICS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...