43 search results - page 7 / 9 » Petri Net Modelling and Performability Evaluation with TimeN... |
QEST
2007
IEEE
14 years 1 months ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
WOSP
2005
ACM
14 years 1 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
ICRA
2002
IEEE
14 years 14 days ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
FMSD
2006
13 years 7 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
QEST
2007
IEEE
14 years 1 months ago
2007
IEEE
XML-based interchange formats for performance models provide a mechanism whereby performance model information may be transferred among modeling tools. For example, the PMIF allow...