1116 search results - page 126 / 224 » Applying Predicate Abstraction to Abstract State Machines |
101
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
DAGSTUHL
1998
15 years 19 days ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
JUCS
2008
14 years 11 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
IJCNN
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— This paper proposes an approach to learn subjectindependent P300 models for EEG-based brain-computer interfaces. The P300 models are first learned using a pool of exis...
GC
2004
Springer
15 years 4 months ago
2004
Springer
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...