-
A General Approach for Securely Querying and Updating XML Data
Over the past years several works have proposed access control models for XML data where only read-access rights over non-recursive DTDs are considered. A few amount... -
Reasoning on words and trees with data
A data word (resp. a data tree) is a fi-nite word (resp. tree) whose every position carries a letter from a fi-nite alphabet and a datum form an... -
XML Security Views: Queries, Updates, and Schemas.
The evolution of web technologies and social trends fostered a shift from traditional enterprise databases to web services and online data. While making data more... -
Mu-Calculus Based Resolution of XPath Decision Problems
XPath is the standard declarative notation for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization,... -
A Decision Procedure for XPath Containment
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The... -
The Euclidean Division Implemented with a Floating-Point Division and a Floor
We study conditions under which the Euclidean division can be implemented using a floating-point division followed by a floor function. We show that under reasonable... -
Monitoring business process compliance : a view based approach
Nowadays, business processes allow more automation of tasks and complex interconnections within the same system and across different systems, which is particularly... -
Fast in-memory XPath search using compressed indexes
International audience -
Intelligent Crawling of Web Applications for Web Archiving
International audience -
Logics for XML
Cette thèse propose une nouvelle logique d'arbres finis pour analyser les programmes manipulant les données du Web. Cette logique offre le meilleur compromis connu entre...
