733 search results - page 28 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
124
click to vote
SIGGRAPH
1996
ACM
15 years 7 months ago
1996
ACM
Improv is a system for the creation of real-time behavior-based animated actors. There have been several recent efforts to build network distributed autonomous agents. But in gene...
126
Voted
DBPL
1993
Springer
15 years 7 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
163
Voted
ICDCS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—The distributed nature and large scale of MapReduce programs and systems poses two challenges in using existing profiling and debugging tools to understand MapReduce pr...
124
click to vote
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
139
click to vote
TCS
2011
14 years 10 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...