1796 search results - page 284 / 360 » An Approach to Compositional Model Checking |
COMPSAC
2009
IEEE
14 years 24 days ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
KI
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Modal logics see a wide variety of applications in artificial intelligence, e.g. in reasoning about knowledge, belief, uncertainty, agency, defaults, and relevance. From ...
DAC
2000
ACM
14 years 9 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
CCIA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Robust object recognition is one of the most challenging topics in computer vision. In the last years promising results have been obtained using local regions and descrip...