176 search results - page 21 / 36 » Modelling with Generalized Stochastic Petri Nets |
120
click to vote
COMPSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
120
click to vote
JSS
2010
14 years 8 months ago
2010
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
116
click to vote
ISTA
2008
15 years 2 months ago
2008
This contribution suggests a novel approach for a systematic generation of a process model in an informal environment. It is based on the claim that the knowledge about the process...
109
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
Given concentrations of metabolites over a sequence of time steps, the metabolic pathway prediction problem seeks a set of reactions and rate constants for them that could yield t...
117
click to vote
WOSP
2000
ACM
15 years 5 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...