1463 search results - page 249 / 293 » Model Checking Implicit-Invocation Systems |
128
click to vote
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 ...
121
click to vote
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Contemporary information systems struggle with the requirement to provide flexibility and process support while still enforcing some degree of control. Workflow managemen...
103
click to vote
APSEC
2008
IEEE
15 years 3 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
112
click to vote
USENIX
2001
15 years 2 months ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
AI
2005
Springer
15 years 1 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...