-
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...
