3546 search results - page 373 / 710 » A Causal Logic of Logic Programming |
121
click to vote
HOTDEP
2008
15 years 3 months ago
2008
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...
119
click to vote
TGC
2010
Springer
14 years 11 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
104
click to vote
CSL
2006
Springer
15 years 5 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
135
click to vote
FOIKS
2006
Springer
15 years 5 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
133
click to vote
CCS
2011
ACM
14 years 1 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...