1746 search results - page 205 / 350 » A Constructive Semantics for ALC |
104
click to vote
TKDE
2008
15 years 24 days ago
2008
Malicious users can exploit the correlation among data to infer sensitive information from a series of seemingly innocuous data accesses. Thus, we develop an inference violation d...
CORR
2004
Springer
15 years 22 days ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
123
click to vote
JAIR
2010
14 years 11 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
130
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...
211
click to vote
PADL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...