1380 search results - page 69 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
JLP
2011
13 years 3 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
GIS
2005
ACM
14 years 10 months ago
2005
ACM
Information about dynamic spatial fields, such as temperature, windspeed, or the concentration of gas pollutant in the air, is important for many environmental applications. At th...
WSC
2004
13 years 10 months ago
2004
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated sim...
TPHOL
1999
IEEE
14 years 1 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
BIRTHDAY
2009
Springer
13 years 6 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...