5499 search results - page 46 / 1100 » Generalized Rewrite Theories |
SEC
2008
13 years 9 months ago
2008
Abstract. In recent security architectures, it is possible that the security policy is not evaluated in a centralized way but requires negotiation between the subject who is reques...
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, a message-oriented architecture for large database summarization is presented. The summarization system takes a database table as input and produces a reduced versi...
PEPM
1993
ACM
13 years 11 months ago
1993
ACM
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) ...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
ALP
1994
Springer
13 years 11 months ago
1994
Springer
Kennaway proved the remarkable result that every (almost) orthogonal term rewriting system admits a computable sequential normalizing reduction strategy. In this paper we present ...