7 search results - page 1 / 2 » Rewrite-based verification of XML updates |
PPDP
2010
Springer
13 years 2 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
XMLSEC
2003
ACM
13 years 9 months ago
2003
ACM
As a large quantity of information is presented in XML format on the Web, there are increasing demands for XML security. Until now, research on XML security has been focused on th...
EDBTW
2006
Springer
13 years 6 months ago
2006
Springer
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
POPL
2005
ACM
14 years 4 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
BIRTHDAY
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...