Now showing items 1-20 of 432

    • 2D Barcode Ticketing System 

      Salguero Piñeyro, Alejandro Raul (Universitat Politècnica de Catalunya, 2011-03-16)
      Master thesis
      Restricted access - confidentiality agreement
    • A common framework for classifying and specifying deductive database updating problems 

      Teniente López, Ernest; Urpí Tubella, Antoni (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
      Conference report
      Open Access
      Several problems may arise when updating a deductive database. Up to now, the general approach of the research related to deductive database updating problems has been to provide specific methods for solving particular ...
    • 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 present 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 more ...
    • A deductive approach to semantic heterogeneity in multidatabase systems 

      Mazumdar, Subhasish (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
      Conference report
      Open Access
      Heterogeneous Databases are becoming increasingly important, but they present several problems. We consider the problem of semantic heterogeneity and show that a deductive model is suita.ble for coping with the problem. ...
    • A derivation path recording method for integrity checking in deductive databases 

      Celma, Matilde; Casamayor, Juan Carlos; Mota, L.; Pastor, M.A.; Marqués, Francisco (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. In ...
    • A framework for selecting workflow tools in the context of composite information systems 

      Carvallo Vega, Juan Pablo; Franch Gutiérrez, Javier; Quer, Carme; Rodríguez Cámara, Núria (Springer, 2004)
      Conference report
      Open Access
      When an organization faces the need of integrating some workflow-related activities in its information system, it becomes necessary to have at hand some well-defined informational model to be used as a framework for ...
    • A method for modeling and analyzing different approaches to Agile BI 

      Mahlouji, Navid (Universitat Politècnica de Catalunya, 2014-07)
      Master thesis
      Open Access
      The main focus of Business Intelligence (BI) is to help businesses extract information and insight from the available data to be able to adapt their internal and external processes in a fast pace. During the past few years ...
    • A new plan generation method for deductive conceptual models validation 

      Costal Costa, Dolors (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
      Conference report
      Open Access
      A new method for planning in a deductive conceptual model context is proposed. lt is based on viewing the information base modelled by a deductive conceptual model as a deductive database. This is possible provided that ...
    • 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 realizing ...
    • A tool for energetic optimization in the conceptual design stage 

      Brutau Izquierdo, Roger (Universitat Politècnica de Catalunya / Tampereen Teknillinen Yliopisto (Tampere University of Technology), 2011)
      Master thesis (pre-Bologna period)
      Restricted access - author's decision
      Currently there are no easy tools to help the designer knowing the real impact of the product during the conceptual design stage. The aim of this thesis is to create a tool to calculate and evaluate the environmental impact ...
    • A weak allowedness condition that ensures completeness of SLDNF-resolution 

      Cavedon, Lawrence; Decker, Hendrik (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1990)
      Conference report
      Open Access
      The lillowedness condition usually imposed on classes of programs for which general completeness results for SLDNF-resolution have been proved is a very restrictive one and prohibits many important programming constructs. ...
    • Actionable conformance checking: from intuitions to code 

      Carmona Vargas, Josep; Weidlich, Matthias; Dongen, Boudewijn F. van (Springer, 2019)
      Conference report
      Open Access
      Conformance checking is receiving increasing attention in the last years. This is due to several reasons, that can be summarized into two: the explosion of digital information that talks about processes, and the need to ...
    • Activity-Based Costing for Management: el caso del handling aeroportuario 

      Mesquida Masana, Gabriel (Universitat Politècnica de Catalunya, 2016-07)
      Master thesis (pre-Bologna period)
      Restricted access - author's decision
      This work has the goal of explaining the value of the methodology Activity-Based Costing in the airport domain, specifically in the airport handling agent business. In order to do so it combines the aforementioned methodology ...
    • Adaptació de l'ERP Axional per controlar sistema automàtic d'emmagatzematge 

      Manzano Nieto, Alex (Universitat Politècnica de Catalunya, 2014-05-02)
      Master thesis (pre-Bologna period)
      Open Access
      El projecte consisteix en la especificació disseny e implementació d'un mòdul que pugui integrar-se amb Axional ERP per tal d'incorporar a les funcionalitats de l'ERP el control d'una unitat d'emmagatzematge extern.
    • Agile approach to business intelligence as a way to success 

      Fernández González, Jorge; Mayol Sarroca, Enric; Pastor Collado, Juan Antonio (Information Science Reference, 2012)
      Part of book or chapter of book
      Restricted access - publisher's policy
      In this chapter we present an overview of several methodological approaches used in business intelligence (BI) projects, as well as data warehouse projects. This study reveals that some of them reveal weaknesses, since ...
    • Ampliación del sistema de información fiscal de una gran empresa del sector energético 

      Duarte Diez, Octavi (Universitat Politècnica de Catalunya, 2013-02-17)
      Master thesis (pre-Bologna period)
      Restricted access - confidentiality agreement
    • An abductive proof procedure for hypothetical reasoning in computational theories 

      Casamayor, Juan Carlos (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      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 analysis of the perceived difficulties arising during the process of integrating management systems 

      Abad Puente, Jesús; Cabrera, Henrry Ricardo; Medina, Alberto (Universitat Politècnica de Catalunya. Departament d'Organització d'Empreses (OE), 2016)
      Article
      Open Access
      Purpose: This study empirically scrutinises the difficulties that result from the integration of management systems and analyses the role of strategic actions and organisational factors on the difficulties-integration ...
    • An approach to identify issues affecting ERP implementation in Indian SMEs 

      Basu, Rana; Upadhyay, Parijat; Das, Manik C.; Dan, Pranab K. (School of Industrial and Aeronautic Engineering of Terrassa (ETSEIAT). Universitat Politècnica de Catalunya (UPC), 2012-04)
      Article
      Open Access
      Purpose: The purpose of this paper is to present the findings of a study which is based on the results of a comprehensive compilation of literature and subsequent analysis of ERP implementation success issues in context ...
    • 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 ...