Sciweavers

1054 search results - page 99 / 211
» Compositional Refinement of Interactive Systems Modelled by ...
Sort
View
EDBTW
2006
Springer
15 years 7 months ago
A Data and Query Model for Streaming Geospatial Image Data
Abstract. Most of the recent work on adaptive processing and continuous querying of data streams assume that data objects come in the form of tuples, thus relying on the relational...
Michael Gertz, Quinn Hart, Carlos Rueda, Shefali S...
ATAL
2008
Springer
15 years 6 months ago
Reusing models in multi-agent simulation with software components
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
Paulo Salem da Silva, Ana Cristina Vieira de Melo
KES
2007
Springer
15 years 10 months ago
A Hybrid Symbolic-Statistical Approach to Modeling Metabolic Networks
Biological systems consist of many components and interactions between them. In Systems Biology the principal problem is modeling complex biological systems and reconstructing inte...
Marenglen Biba, Stefano Ferilli, Nicola Di Mauro, ...
CGF
2004
140views more  CGF 2004»
15 years 4 months ago
Measurement-Based Interactive Simulation of Viscoelastic Solids
Animation of viscoelastic solids in entertainment and medical applications as well as scientific simulation can be improved through observations of real world objects. This paper ...
Jeffrey Schoner, Jochen Lang, Hans-Peter Seidel
TCAD
1998
95views more  TCAD 1998»
15 years 3 months ago
A framework for comparing models of computation
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli