80 search results - page 10 / 16 » Stochastic Petri Net Modeling of VAXcluster System Availabil... |
116
click to vote
SIMUTOOLS
2008
15 years 3 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
119
Voted
WOSP
2000
ACM
15 years 6 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...
195
click to vote
CMSB
2011
Springer
14 years 1 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
112
click to vote
MASCOTS
2003
15 years 3 months ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
136
click to vote
ICRA
2002
IEEE
15 years 6 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...