Now showing items 1-20 of 238

    • A complete proof procedure for efficient integrity checking in deductive databases 

      Nüssel, Georg; Decker, Hendrik; Celma, Matilde; Casamayor, Juan Carlos (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      Conference report
      Open Access
      We presenta proof procedure for checking the integrity of a deductive database. We follow the proposal of Sadri and Kowalski. Our procedure replaces the latter's meta-level rules by inference rules that are implemented ...
    • A cost model for random access queries in document stores 

      Hewasinghage, Moditha Lakshan Dharmasir; Abelló Gamazo, Alberto; Varga, Jovan; Zimányi, Esteban (2021-07)
      Article
      Open Access
      Document stores have become one of the key NoSQL storage solutions. They have been widely adopted in different domains due to their ability to store semi-structured data and expressive query capabilities. However, ...
    • A derivation path recording method for integrity checking in deductive databases 

      Celma, M.; Casamayor, J.C.; Mota, L.; Pastor, M.A.; Marqués, F. (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
      Conference report
      Open Access
      A method is presented for checking integrity constraints in a deductive database in which verification of integrity is reduced to determine if the transaction has induced the insertion of sorne inconsistency atom. 1n ...
    • A filtering engine for large conceptual schemas 

      Villegas Niño, Antonio (Universitat Politècnica de Catalunya, 2013-01-29)
      Doctoral thesis
      Open Access
    • A first literature review on enterprise reference architecture 

      Sánchez Puchol, Fèlix; Pastor Collado, Juan Antonio (Association for Information Systems (AIS), 2017)
      Conference report
      Restricted access - publisher's policy
      Enterprise Reference Architectures have been increasingly emerging as new standardized architectural description artefacts suitable to provide a frame of reference for a particular business domains. Used in an appropriate ...
    • A Middleware framework for self-adaptive large scale distributed services 

      Chacin Martínez, Pablo Jesus (Universitat Politècnica de Catalunya, 2011-07-21)
      Doctoral thesis
      Open Access
      Modern service-oriented applications demand the ability to adapt to changing conditions and unexpected situations while maintaining a required QoS. Existing self-adaptation approaches seem inadequate to address this challenge ...
    • A note on the limitations of utilizing modal logic for federated information systems 

      Boman, Magnus (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      Conference report
      Open Access
      Recently much effort has been put into using modal logic representation lan­ guages for different kinds of distributed database and distributed problem solving systems. We have ourselves presented an architecture rea!izing ...
    • A process-aware tool for the worldwide request and distribution of medical supplies for Chagas 

      Murciano Durán, Victor (Universitat Politècnica de Catalunya, 2019-07)
      Bachelor thesis
      Open Access
      Las enfermedades tropicales desatendidas (ETD) son un grupo de enfermedades transmisibles que prevalecen en condiciones tropicales en 149 países. Afectan principalmente a las poblaciones que viven en la pobreza, sin ...
    • A square block format for symmetric band matrices 

      Gustavson, Fred G.; Herrero Zaragoza, José Ramón; Morancho Llena, Enrique (Springer, 2014)
      Conference report
      Open Access
      This contribution describes a Square Block, SB, format for storing a banded symmetric matrix. This is possible by rearranging “in place” LAPACK Band Layout to become a SB layout: store submatrices as a set of square blocks. ...
    • A study on data deduplication in HPC storage systems 

      Meister, Dirk; Kaiser, Jürgen; Brinkmann, Andre; Cortés, Toni; Kuhn, Michael; Kunkel, Julian (Institute of Electrical and Electronics Engineers (IEEE), 2012)
      Conference report
      Restricted access - publisher's policy
      Deduplication is a storage saving technique that is highly successful in enterprise backup environments. On a file system, a single data block might be stored multiple times across different files, for example, multiple ...
    • A web-based user interface for browsing and annotating image collections using a state-of-the-art content-based image search engine 

      Gómez Duran, Paula (Universitat Politècnica de Catalunya, 2018-02-01)
      Bachelor thesis
      Open Access
      Covenantee:   Dublin City University
      This thesis consists of developing a web user interface for a content-based image retrieval (CBIR) system in order to provide a visualization of the obtained results and eventually to improve them by capturing the user's ...
    • AbacusFS integrated storage and computational platform 

      Nuhic, Isak; Šterk, Marjan; Cortés, Toni (Institute of Electrical and Electronics Engineers (IEEE), 2012)
      Conference report
      Open Access
      Today's applications, especially those in the scientific community, deal with an ever growing amount of data. Among the problems that arise from this explosion of data are how to organize the data so that the information ...
    • Aeneas: A tool to enable applications to effectively use non-relational databases 

      Cugnasco, Cesare; Hernández, Roger; Becerra Fontal, Yolanda; Torres Viñals, Jordi; Ayguadé Parra, Eduard (Elsevier, 2013)
      Conference report
      Open Access
      Non-relational databases arise as a solution to solve the scalability problems of relational databases when dealing with big data applications. However, they are highly configurable prone to user decisions that can heavily ...
    • An abductive proof procedure for hypothetical reasoning in computational theories 

      Casamayor, Juan C. (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
      Conference report
      Open Access
      In this paper. we develop a resolution-based proof procedure, called SLY resolution. far hypothetical reasoning in computational theories. SLY coincides with SLD resolution in the case of definite programs and when hypotheses ...
    • An approach to monitoring changes in deductive databases 

      Urpí Tubella, Antoni (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
      Conference report
      Open Access
      We propose a method to monitor changes in deductive databases. The method augments a database with a set of transition and events rules, which explicitly define the insertions, deletions and modifications induced by a ...
    • An approach to validation of deductive conceptual models 

      Costal Costa, Dolors (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
      Conference report
      Open Access
      We propose an approach to validation of deductive conceptual models. This validation is performed through plan generation. The objective of plan generation is to determine sequences of events that lead to a certain goal ...
    • An automatic song annotation system 

      Zeller Sancho, Irene (Universitat Politècnica de Catalunya, 2009)
      Master thesis (pre-Bologna period)
      Open Access
      The amount of multimedia content in the audiovisual sector, as well as on the Internet, is increasing a lot, and Music is one of the most outstanding forms of multimedia content requested by users. Every year, new songs, ...
    • An empirical study on the use of i* by non-technical stakeholders: the case of strategic dependency diagrams 

      Carvallo Vega, Juan Pablo; Franch Gutiérrez, Javier (2019-03)
      Article
      Open Access
      Early phases of information systems engineering include the understanding of the enterprise’s context and the construction of models at different levels of decomposition, required to design the system architecture. These ...
    • Analysis of what makes an Euroleague team successful through player clustering 

      Molins Gracia, David (Universitat Politècnica de Catalunya, 2021-01)
      Bachelor thesis
      Open Access
      Technology has revolutionized many industries and sport is no exception, looking for ways to improve your team, taking advantage of any resource. The goal of data analysis is to find a solution to the questions we ask ...
    • Analyzing long-term access locality to find ways to improve distributed storage systems 

      Miranda Bueno, Alberto; Cortés, Toni (2012)
      Conference report
      Open Access
      An efficient design for a distributed filesystem originates from a deep understanding of common access patterns and user behavior which is obtained through a deep analysis of traces and snapshots. In this paper we analyze ...