935 search results - page 151 / 187 » Stable models and difference logic |
151
click to vote
DFT
2003
IEEE
15 years 8 months ago
2003
IEEE
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...
105
click to vote
ICWL
2009
Springer
15 years 7 months ago
2009
Springer
The authors present an approach for implementing a system for the assessment of medical competences using a haptic simulation device. Based on Competence based Knowledge Space Theo...
137
click to vote
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
120
click to vote
ECAI
1994
Springer
15 years 7 months ago
1994
Springer
Formal analyses of social action for Distributed A.I. (DAI) have focussed, almost exclusively, on scenarios in which participating agents have a joint intention to act. While such ...
134
click to vote
CONCUR
2008
Springer
15 years 4 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...