9425 search results - page 76 / 1885 » Some Notes on Models and Modelling |
101
click to vote
DATESO
2010
14 years 7 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
EJC
2000
14 years 11 months ago
2000
Abstract. The Unified Modeling Language (UML) is a natural candidate for user interface (UI) modelling since it is the standard notation for object oriented modelling of applicatio...
88
Voted
LPNMR
2001
Springer
15 years 2 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
WSC
2001
14 years 11 months ago
2001
The Advanced IRCM Assessment Model (AIRSAM) simulates an infrared (IR) guided missile engaging an aircraft equipped with infrared countermeasures (IRCM). Analysts currently use AI...