Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We p...
Abstract. Automatically choosing suitable native storage structures for XML documents arriving at the XML DBMS is a challenging task for its storage manager. While some of the crit...
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
Panagiotis Manolios, Sudarshan K. Srinivasan, Daro...
Service-oriented Architecture supports software to be composed from services dynamically. Selecting and composing appropriate services according to business process, policies and n...
Stephan Reiff-Marganiec, HongQing Yu, Marcel Tilly
Search, retrieval, and management of multimedia contents are challenging tasks for users and researchers alike. The aim of ESentencias Project is to develop a software-hardware sys...
Ciro Gracia, Pompeu Casanovas, Marta Poblet, Xavie...