2470 search results - page 54 / 494 » Liveness-Preserving Simulation Relations |
106
click to vote
ISPW
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. Using process simulation and AI search methods, we compare software reuse against other possible changes to a project. such as reducing functionality or improving the ski...
137
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
144
click to vote
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
122
click to vote
PADS
2004
ACM
15 years 8 months ago
2004
ACM
This paper advocates the use of a formal framework for analyzing simulation performance. Simulation performance is characterized based on the three simulation development process ...
108
click to vote
WSC
1997
15 years 4 months ago
1997
The problem of searching for important factors in a simulation model is considered when the simulation output is subject to stochastic variation. Bettonvil and Kleijnen (1996) giv...