1816 search results - page 302 / 364 » Case study in modeling and simulation validation methodology |
ENTCS
2007
14 years 9 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
Three-dimensional direct numerical simulations are performed of turbulent combustion of initially spherical flame kernels. The chemistry is described by a progress variable which ...
TVCG
1998
14 years 9 months ago
1998
—New challenges on vector field visualization emerge as time-dependent numerical simulations become ubiquitous in the field of computational fluid dynamics (CFD). To visualize da...
AAAI
2006
14 years 11 months ago
2006
Since the description of the Semantic Web paradigm in 2001, technology has been proposed to allow its deployment and use. However, there is not yet any large and widely deployed s...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...