176 search results - page 24 / 36 » Modelling with Generalized Stochastic Petri Nets |
114
click to vote
SIMUTOOLS
2008
15 years 2 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...
103
click to vote
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
102
click to vote
FMSD
2006
15 years 1 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...
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
SIGMETRICS
2010
ACM
14 years 11 months ago
2010
ACM
Data center availability is critical considering the explosive growth in Internet services and people’s dependence on them. Furthermore, in recent years, sustainability has beco...