Sciweavers

3334 search results - page 434 / 667
» XML to XML through XML
Sort
View
AMW
2011
14 years 10 months ago
A Direct Translation from XPath to Nondeterministic Automata
Since navigational aspects of XPath correspond to first-order definability, it has been proposed to use the analogy with the very successful technique of translating LTL into aut...
Nadime Francis, Claire David, Leonid Libkin
CASE
2011
102views more  CASE 2011»
14 years 6 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
ICDE
2012
IEEE
228views Database» more  ICDE 2012»
13 years 9 months ago
MXQuery with Hardware Acceleration
—We demonstrate MXQuery/H, a modified version of MXQuery that uses hardware acceleration to speed up XML processing. The main goal of this demonstration is to give an interactiv...
Peter M. Fischer, Jens Teubner
ICDE
2010
IEEE
322views Database» more  ICDE 2010»
16 years 6 months ago
XML-Based Computation for Scientific Workflows
Scientific workflows are increasingly used for rapid integration of existing algorithms to form larger and more comgrams. Such workflows promise to provide more abstract, yet execu...
Bertram Ludäscher, Daniel Zinn, Shawn Bowers
EUROIMSA
2006
166views Multimedia» more  EUROIMSA 2006»
15 years 8 months ago
Advanced Multimedia Management - Control Model and Content Adaptation
The delivery and adaptation of multimedia content in distributed and heterogeneous environments requires flexible control and management mechanisms in terminals and in control ent...
Teodora Guenkova-Luy, Andreas Schorr, Franz J. Hau...