130 search results - page 9 / 26 » On Verifying Consistency of XML Specifications |
PPDP
2010
Springer
13 years 5 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...
EDBT
2011
ACM
12 years 11 months ago
2011
ACM
The World Wide Web no longer consists just of HTML pages. Our work sheds light on a number of trends on the Internet that go beyond simple Web pages. The hidden Web provides a wea...
WORDS
2005
IEEE
14 years 29 days ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
ICTAC
2009
Springer
13 years 5 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
EDBT
2006
ACM
14 years 7 months ago
2006
ACM
In authorization-transparent access control, users formulate their queries against the database schema rather than against authorization views that transform and hide data. The Tru...