827 search results - page 115 / 166 » Proof-Theoretic Soundness and Completeness |
114
click to vote
CCS
2010
ACM
15 years 7 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...
90
Voted
CSMR
2009
IEEE
15 years 7 months ago
2009
IEEE
Extract Method has been recognized as one of the most important refactorings, since it decomposes large methods and can be used in combination with other refactorings for fixing a...
105
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
101
Voted
CSL
2009
Springer
15 years 7 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
93
Voted
ESWS
2009
Springer
15 years 7 months ago
2009
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin...