1663 search results - page 96 / 333 » Validation and Verification of Simulation Models |
159
Voted
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
130
Voted
ENTCS
2008
15 years 3 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
138
Voted
WSC
2007
15 years 6 months ago
2007
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. We present a taxonomy, to be applied to emergent beha...
147
Voted
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
114
Voted
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which ...