43 search results - page 7 / 9 » Petri Net Modelling and Performability Evaluation with TimeN... |
152
Voted
QEST
2007
IEEE
16 years 19 days 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,...
178
click to vote
WOSP
2005
ACM
15 years 12 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...
191
Voted
ICRA
2002
IEEE
15 years 11 months 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...
149
Voted
FMSD
2006
15 years 6 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...
158
Voted
QEST
2007
IEEE
16 years 19 days 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...