22588 search results - page 283 / 4518 » On simulation model complexity |
136
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
113
Voted
WSC
2000
15 years 6 months ago
2000
We propose solving continuous parametric simulation optimizations using a deterministic nonlinear optimization algorithm and sample-path simulations. The optimization problem is w...
198
Voted
ER
1997
Springer
15 years 8 months ago
1997
Springer
Development of today's advanced applications is increasingly being accomplished using multi-faceted modeling. For example, the areas of simulation and workflow modeling genera...
135
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Complex Automata were recently proposed as a paradigm to model multi-scale complex systems. The concept is formalized and the scale separation map is further investigated in relati...
136
Voted
IDEAL
2005
Springer
15 years 10 months ago
2005
Springer
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...