Sciweavers

12115 search results - page 207 / 2423
» Bisimulation of Dynamical Systems
Sort
View
ICCS
2005
Springer
15 years 9 months ago
Towards a Dynamic Data Driven Application System for Wildfire Simulation
Jan Mandel, Lynn S. Bennethum, Mingshi Chen, Janic...
ICCS
2005
Springer
15 years 9 months ago
Dynamic Data Driven Methodologies for Multiphysics System Modeling and Simulation
We are presenting a progress overview associated with our work on a data-driven environment for multiphysics applications (DDEMA). In this paper, we emphasize the dynamic-data-driv...
John Michopoulos, Charbel Farhat, Elias N. Houstis...
ICCS
2005
Springer
15 years 9 months ago
An Algebraic Method for Analyzing Open-Loop Dynamic Systems
Wenqin Zhou, David J. Jeffrey, Gregory J. Reid
VLDB
2005
ACM
97views Database» more  VLDB 2005»
15 years 9 months ago
A Dynamically Adaptive Distributed System for Processing Complex Continuous Queries
Bin Liu, Yali Zhu, Mariana Jbantova, Bradley Mombe...
VSTTE
2005
Springer
15 years 9 months ago
Automatic Verification of Strongly Dynamic Software Systems
Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, A...