23201 search results - page 80 / 4641 » Rewriting Systems with Data |
166
click to vote
CIKM
2004
Springer
15 years 10 months ago
2004
Springer
At present, most of the state-of-the-art solutions for XML access controls are either (1) document-level access control techniques that are too limited to support fine-grained sec...
145
click to vote
PVLDB
2010
15 years 3 months ago
2010
Several database areas such as data exchange and integration share the problem of fixing database instance violations with respect to a set of constraints. The chase algorithm so...
153
click to vote
RTA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
211
click to vote
DANCE
2002
IEEE
15 years 10 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
143
click to vote
RTA
2010
Springer
15 years 9 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...