500 search results - page 49 / 100 » ACD Term Rewriting |
SIGMOD
2004
ACM
16 years 1 days ago
2004
ACM
Current day database applications, with large numbers of users, require fine-grained access control mechanisms, at the level of individual tuples, not just entire relations/views,...
100
click to vote
NORDICHI
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we want to reconsider the role anthropology (both its theory and methods) can play within HCI research. One of the areas anthropologists can contribute to here is to...
112
click to vote
UPP
2004
Springer
15 years 5 months ago
2004
Springer
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...
RTA
2010
Springer
15 years 3 months ago
2010
Springer
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
ENTCS
2007
14 years 12 months ago
2007
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...