733 search results - page 49 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
191
click to vote
SP
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we propose BIND (Binding Instructions aNd Data),1 a fine-grained attestation service for securing distributed systems. Code attestation has recently received consi...
151
click to vote
CTRS
1987
15 years 9 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
144
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
181
click to vote
IMC
2006
ACM
15 years 12 months ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...
184
click to vote
ASP
2005
Springer
15 years 11 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...