Sciweavers

261 search results - page 36 / 53
» Logics for XML
Sort
View
JAR
2006
101views more  JAR 2006»
14 years 11 months ago
Checking Consistency and Completeness of On-Line Product Manuals
Abstract. As products are growing more complex, so is their documentation. With an increasing number of product options, the diversity in service and maintenance procedures grows a...
Carsten Sinz, Wolfgang Küchlin, Dieter Feicht...
ICDE
2008
IEEE
208views Database» more  ICDE 2008»
16 years 1 months ago
Clip: a Visual Language for Explicit Schema Mappings
Many data integration solutions in the market today include tools for schema mapping, to help users visually relate elements of different schemas. Schema elements are connected wit...
Alessandro Raffio, Daniele Braga, Mauricio A. Hern...
PODS
2008
ACM
158views Database» more  PODS 2008»
15 years 12 months ago
Local Hoare reasoning about DOM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse...
91
Voted
ICDE
2010
IEEE
212views Database» more  ICDE 2010»
15 years 11 months ago
ViewJoin: Efficient View-based Evaluation of Tree Pattern Queries
A fundamental problem in XML query processing is tree pattern query (TPQ) matching which computes all data instances in an XML database that match an input TPQ. There is a lot of r...
Ding Chen, Chee-Yong Chan
ICEBE
2006
IEEE
125views Business» more  ICEBE 2006»
15 years 5 months ago
A Business Collaboration Registry Model on Top of ebRIM
UN/CEFACT’s Modeling Methodology (UMM) is a well accepted approach to define inter-organizational business processes. UMM models should be managed in a registry for two reasons...
Birgit Hofreiter, Christian Huemer, Marco Zapletal