4693 search results - page 438 / 939 » Verifying Hybrid Systems |
159
click to vote
CATS
2006
15 years 8 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
164
click to vote
FLAIRS
2004
15 years 8 months ago
2004
The integration of methods of Constraint Programming and Multi-Agent-Systems is discussed in this paper. We describe different agent topologies for Constraint Satisfaction Problem...
166
click to vote
ERSA
2006
15 years 8 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
156
click to vote
IJCAI
2001
15 years 8 months ago
2001
The ability to generate effective evaluative arguments is critical for systems intended to advise and persuade their users. We have developed a system that generates evaluative ar...
166
click to vote
SNPD
2004
15 years 8 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...