19 search results - page 2 / 4 » qest 2008 |
QEST
2008
IEEE
13 years 11 months ago
2008
IEEE
The performability distribution is the distribution of accumulated reward in a Markov reward model (MRM) with
QEST
2008
IEEE
13 years 11 months ago
2008
IEEE
QEST
2008
IEEE
13 years 11 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...
QEST
2008
IEEE
13 years 11 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...
QEST
2008
IEEE
13 years 11 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...