733 search results - page 30 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
141
click to vote
WDAG
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
150
Voted
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
129
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
155
Voted
JSS
2006
15 years 3 months ago
2006
Web and peer-to-peer systems have emerged as popular areas in distributed computing, and their integrated usage permits the benefits of both to be exploited. While much work in th...
138
Voted
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...