Browsing by Subject "Management information systems"
Now showing items 1-20 of 454
-
2D Barcode Ticketing System
(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
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
Conference report
Open AccessSeveral 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
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
Conference report
Open AccessWe 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
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
Conference report
Open AccessHeterogeneous 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
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
Conference report
Open AccessA 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
(Springer, 2004)
Conference report
Open AccessWhen 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
(Universitat Politècnica de Catalunya, 2014-07)
Master thesis
Open AccessThe 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
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
Conference report
Open AccessA 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
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
Conference report
Open AccessRecently 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
(Universitat Politècnica de Catalunya / Tampereen Teknillinen Yliopisto (Tampere University of Technology), 2011)
Master thesis (pre-Bologna period)
Restricted access - author's decisionCurrently 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
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1990)
Conference report
Open AccessThe 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
(Springer, 2019)
Conference report
Open AccessConformance 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
(Universitat Politècnica de Catalunya, 2016-07)
Master thesis (pre-Bologna period)
Restricted access - author's decisionThis 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
(Universitat Politècnica de Catalunya, 2014-05-02)
Master thesis (pre-Bologna period)
Open AccessEl 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
(Information Science Reference, 2012)
Part of book or chapter of book
Restricted access - publisher's policyIn 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
(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
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
Conference report
Open AccessIn 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
(Universitat Politècnica de Catalunya. Departament d'Organització d'Empreses (OE), 2016)
Article
Open AccessPurpose: 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
(School of Industrial and Aeronautic Engineering of Terrassa (ETSEIAT). Universitat Politècnica de Catalunya (UPC), 2012-04)
Article
Open AccessPurpose: 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
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
Conference report
Open AccessWe 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 ...