Ara es mostren els items 1-20 de 71

  • 3D mapping for urban service robots 

    Valencia Carreño, Rafael; Teniente López, Ernest; Trulls Fortuny, Eduard; Andrade-Cetto, Juan (IEEE Press. Institute of Electrical and Electronics Engineers, 2009-10-11)
    Text en actes de congrés
    Accés obert
    We present an approach to the problem of 3D map building in urban settings for service robots, using threedimensional laser range scans as the main data input. Our system is based on the probabilistic alignment of 3D point ...
  • A platform independent model for the electronic marketplace domain 

    Queralt Calafat, Anna; Teniente López, Ernest (2005-04)
    Report de recerca
    Accés obert
    An electronic marketplace supports the interaction among different users to exchange information about products to sell and buy. Significance of electronic marketplaces is given by the huge amount of web sites that are ...
  • A Review of integrity constraint maintenance and view updating techniques 

    Mayol Sarroca, Enric; Teniente López, Ernest (2003-03)
    Report de recerca
    Accés obert
    Two interrelated problems may arise when updating a database. On one hand, when an update is applied to the database, integrity constraints may become violated. In such case, the integrity constraint maintenance approach ...
  • A schema-only approach to validate XML schema mappings 

    Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2010-03-19)
    Report de recerca
    Accés obert
    Since the emergence of the Web, the ability to map XML data between different data sources has become crucial. Defining a mapping is however not a fully automatic process. The designer needs to figure out whether the mapping ...
  • Addressing efficiency issues during the process of integrity maintenance (extended version) 

    Mayol Sarroca, Enric; Teniente López, Ernest (1999-07)
    Report de recerca
    Accés obert
    An important problem that arises when updating a deductive database is that of integrity maintenance. That is, given a consistent database and an update request, to obtain all possible updates of base facts such that ...
  • An analysis pattern for electronic marketplaces 

    Queralt Calafat, Anna; Teniente López, Ernest (2004-02)
    Report de recerca
    Accés obert
    An electronic marketplace supports the interaction among different users to exchange information about products to sell and buy. Significance of electronic marketplaces is given by the huge amount of web sites that are ...
  • Analysing the process of enforcing integrity constraints 

    Mayol Sarroca, Enric; Teniente López, Ernest (1996-06)
    Report de recerca
    Accés obert
    Two different approaches have been traditionally considered for dealing with the process of integrity constraints enforcement: integrity constraints checking and integrity constraints maintenance. However, while previous ...
  • Artifact-centric business process models in UML 

    Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (2012)
    Text en actes de congrés
    Accés obert
    Business process modeling using an artifact-centric approach has raised a signi cant interest over the last few years. This approach is usually stated in terms of the BALSA framework which de nes the four \dimensions" of ...
  • AuRUS: Automated Reasoning on UML/OCL Schemas 

    Queralt Calafat, Anna; Rull Fort, Guillem; Teniente López, Ernest; Farré Tost, Carles; Urpí Tubella, Antoni (Springer Verlag, 2010)
    Comunicació de congrés
    Accés restringit per política de l'editorial
    To ensure the quality of an information system, the conceptual schema that represents its domain must be semantically correct. We present a prototype to automatically check whether a UML schema with OCL constraints is right ...
  • AuRUS: explaining the validation of UML/OCL conceptual schemas 

    Rull Fort, Guillem; Farré Tost, Carles; Queralt Calafat, Anna; Teniente López, Ernest; Urpí Tubella, Antoni (2015-05-01)
    Article
    Accés obert
    The validation and the verification of conceptual schemas have attracted a lot of interest during the last years, and several tools have been developed to automate this process as much as possible. This is achieved, in ...
  • Computing explanations for unlively queries in databases 

    Rull, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2007-06)
    Report de recerca
    Accés obert
    A query is lively in a database schema if it returns a non-empty answer for some database satisfying the schema. Debugging a database schema requires not only determining queries (as well as views or tables) that are not ...
  • Computing repairs for constraint violations in UML/OCL conceptual schemas 

    Oriol Hilari, Xavier; Teniente López, Ernest; Tort, Albert (Elsevier, 2015-06-25)
    Article
    Accés obert
    Updating the contents of an information base may violate some of the constraints defined over the schema. The classical way to deal with this problem has been to reject the requested update when its application would lead ...
  • Computing the relevant instances that may violate an OCL constraint 

    Cabot Sagrera, Jordi; Teniente López, Ernest (2005-03)
    Report de recerca
    Accés obert
    Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way to achieve efficiency is to consider ...
  • Consistency preserving updates in deductive databases 

    Mayol Sarroca, Enric; Teniente López, Ernest (2001-06)
    Report de recerca
    Accés obert
    Several problems may arise when a deductive database is updated. The problems that are addressed in this paper are those of integrity constraint maintenance and view updating. In this sense, we define a method that tackles ...
  • Declarative taxonomic constraint enforcement in conceptual schemas 

    Costal Costa, Dolors; Gómez Seoane, Cristina; Teniente López, Ernest (2005-04)
    Report de recerca
    Accés obert
    We propose to declaratively specify policies for the enforcement of integrity constraints directly in the structural conceptual schema. The policies we propose depend on the kind of taxonomic constraint to be enforced ...
  • Determining the structural events that may violate an integrity constraint 

    Cabot, Jordi; Teniente López, Ernest (2004-07)
    Report de recerca
    Accés obert
    Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined in its conceptual schema. In this ...
  • Diseño de sistemas software en UML 

    Gómez Seoane, Cristina; Mayol Sarroca, Enric; Olivé Ramon, Antoni; Teniente López, Ernest (Edicions UPC, 2003)
    Llibre
    Accés restringit a la comunitat UPC
    La presente documentación puede servir como guía para todas aquellas personas que quieran formarse en el ámbito de la ingeniería del software. Más concretamente, su objetivo principal es explicar cómo debe realizarse la ...
  • Ejecución de operaciones de un esquema conceptual de forma persistente y consistente 

    Oriol Hilari, Xavier; Teniente López, Ernest (2014)
    Text en actes de congrés
    Accés obert
    El objetivo de la presente tesis es la ejecución de operaciones de un esquema conceptual de forma persistente y consistente. Es decir, los efectos de las operaciones son persistidos automáticamente en una base de datos a ...
  • El Mètode dels esdeveniments per a l'Actualització de vistes en bases de dades deductives 

    Teniente López, Ernest (Universitat Politècnica de Catalunya, 1992-06-19)
    Tesi
    Accés obert
    En esta tesis se presenta un nuevo método, llamado método de los eventos, para la actualización de vistas en bases de datos deductivas. Este método aumenta la base de datos con un conjunto de reglas, llamadas reglas de ...
  • Enabling IoT ecosystems through platform interoperability 

    Bröring, Arne; Schmid, Stefan; Schindhelm, Corina-Kim; Khelil, Abdelmajid; Kabisch, Sebastian; Kramer, Denis; Le Phuoc, Danh; Mitic, Jelena; Anicic, Darko; Teniente López, Ernest (2017-01-01)
    Article
    Accés obert
    Today, the Internet of Things (IoT) comprises vertically oriented platforms for things. Developers who want to use them need to negotiate access individually and adapt to the platform-specific API and information models. ...