245 search results - page 21 / 49 » Software Performance Modeling Using UML and Petri Nets |
105
click to vote
WSC
2004
15 years 1 months ago
2004
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
ICCSA
2005
Springer
15 years 5 months ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...
98
Voted
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
TOPNOC
2008
14 years 11 months ago
2008
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
DAGSTUHL
2006
15 years 1 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...