Sciweavers

6660 search results - page 980 / 1332
» Highly-Available Application Integration
Sort
View
PODS
2004
ACM
189views Database» more  PODS 2004»
16 years 6 months ago
The Lixto Data Extraction Project - Back and Forth between Theory and Practice
We present the Lixto project, which is both a research project in database theory and a commercial enterprise that develops Web data extraction (wrapping) and Web service definiti...
Georg Gottlob, Christoph Koch, Robert Baumgartner,...
171
Voted
EDBT
2004
ACM
120views Database» more  EDBT 2004»
16 years 6 months ago
Efficient Schema-Based Revalidation of XML
Abstract. As XML schemas evolve over time or as applications are integrated, it is sometimes necessary to validate an XML document known to conform to one schema with respect to an...
Mukund Raghavachari, Oded Shmueli
EDBT
2008
ACM
124views Database» more  EDBT 2008»
16 years 6 months ago
Scalable XQuery type matching
XML Schema awareness has been an integral part of the XQuery language since its early design stages. Matching XML data against XML types is the main operation that backs up XQuery...
Jens Teubner
ICSE
2003
IEEE-ACM
16 years 6 months ago
Constructing Test Suites for Interaction Testing
Software system faults are often caused by unexpected interactions among components. Yet the size of a test suite required to test all possible combinations of interactions can be...
Myra B. Cohen, Peter B. Gibbons, Warwick B. Mugrid...
ICSE
2004
IEEE-ACM
16 years 6 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...