733 search results - page 29 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
151
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Easy reuse and integration of declaratively described information in a distributed setting is one of the main motivations for building the Semantic Web. Despite of this claim, reu...
133
Voted
SC
2009
ACM
15 years 10 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
157
click to vote
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existin...
124
Voted
POLICY
2005
Springer
15 years 9 months ago
2005
Springer
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
169
Voted
WLP
2007
Springer
15 years 9 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...