Sciweavers

12115 search results - page 207 / 2423
» Bisimulation of Dynamical Systems
Sort
View
ICCS
2005
Springer
16 years 1 days ago
Towards a Dynamic Data Driven Application System for Wildfire Simulation
Jan Mandel, Lynn S. Bennethum, Mingshi Chen, Janic...
ICCS
2005
Springer
16 years 1 days 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
16 years 1 days 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 12 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 12 months ago
Automatic Verification of Strongly Dynamic Software Systems
Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, A...