1083 search results - page 190 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
125
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...
136
Voted
CADE
2002
Springer
16 years 2 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
97
Voted
ENC
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
115
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
126
Voted
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...