3420 search results - page 145 / 684 » A Language-Based Approach to Security |
164
click to vote
DOOD
1991
Springer
15 years 7 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
135
click to vote
AAAI
2006
15 years 5 months ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
138
click to vote
IJCAI
2001
15 years 5 months ago
2001
We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key dimensions: the succinctness of the target compil...
132
click to vote
JUCS
2008
15 years 4 months ago
2008
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
117
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
In this paper we present a structured methodology for evaluating cost of responses based on three factors: the response operational cost associated with the daily maintenance of t...