2944 search results - page 160 / 589 » On Well Quasi-orders on Languages |
101
click to vote
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
107
click to vote
PADL
2005
Springer
15 years 6 months ago
2005
Springer
In this article we investigate a novel execution paradigm—ML-like pattern-matching— for XML query processing. We show that such a paradigm is well adapted for a common and freq...
119
click to vote
AUSAI
2004
Springer
15 years 6 months ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
136
Voted
WLP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
110
Voted
COOPIS
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. We describe a mechanism based on distributed Event-ConditionAction (ECA) rules that supports data coordination in a multidatabase setting. The proposed mechanism includes...