Path expressions are the principal means of locating data in a hierarchical model. But path expressions are brittle because they often depend on the structure of data and break if...
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...
Several biological databases exist which use different formats for storing data. Further, each database has its own schema and a query interface. There exist no standard conversio...
GeneSyS is an IST project (IST-2001-34162) developing a new generic middleware for supervising distributed systems at different levels such as Application, Network, System. The pr...
The Web has been rapidly "deepened" by myriad searchable databases online, where data are hidden behind query interfaces. As an essential task toward integrating these m...