9305 search results - page 48 / 1861 » Modeling Blog Dynamics |
FDL
2004
IEEE
14 years 1 months ago
2004
IEEE
The article describes semi-symbolic methods for the analysis of control and signal processing systems, including static and dynamic uncertainties. This above mentioned semi-symbol...
ICSR
2004
Springer
14 years 3 months ago
2004
Springer
Non-stop and highly available applications need to be dynamically adapted to new conditions in their execution environment, to new user requirements or to some situations usually u...
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
Dynamic planning concerns the planning and execution of actions in a dynamic, real world environment. Its goal is to take into account changes generated by unpredicted events occur...
JAPLL
2006
13 years 10 months ago
2006
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...