504 search results - page 49 / 101 » Reasoning about local properties in modal logic |
129
click to vote
CCS
2010
ACM
15 years 8 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
229
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
106
click to vote
CSL
2005
Springer
15 years 7 months ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
122
click to vote
FAC
2000
15 years 1 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
129
click to vote
DALT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...