1239 search results - page 233 / 248 » Applying Model Checking to Concurrent UML Models |
112
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
115
click to vote
WECWIS
2005
IEEE
15 years 7 months ago
2005
IEEE
Flexible workflow systems are needed for processes that need consistency as well as flexibility (e.g., personalized client interactions). A methodology for designing flexible serv...
123
click to vote
WEA
2005
Springer
15 years 7 months ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
114
click to vote
COMPSAC
2007
IEEE
15 years 5 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
130
Voted
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...