2470 search results - page 54 / 494 » Liveness-Preserving Simulation Relations |
91
Voted
ISPW
2009
IEEE
15 years 7 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...
115
Voted
CONCUR
2010
Springer
15 years 21 days 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...
128
click to vote
FORMATS
2010
Springer
14 years 10 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...
103
click to vote
PADS
2004
ACM
15 years 6 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 ...
88
Voted
WSC
1997
15 years 1 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...