733 search results - page 20 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
132
click to vote
DAWAK
2000
Springer
15 years 6 months ago
2000
Springer
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
116
click to vote
DLOG
2007
15 years 4 months ago
2007
In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
As a general framework, UNITY does not offer any specific facility for the design of distributed systems. For such systems, distribution aspects must be represented at a low level,...
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
123
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...