19 search results - page 2 / 4 » qest 2008 |
112
Voted
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
The performability distribution is the distribution of accumulated reward in a Markov reward model (MRM) with
118
Voted
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
118
Voted
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
130
Voted
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
138
Voted
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...