Free University of Bolzano

Displaying 1-9 of 9 results

  • White Papers // Apr 2013

    On Rewriting and Answering Queries in OBDA Systems for Big Data

    The Optique project aims at providing an end-to-end solution for scalable access to Big Data integration were end users will formulate queries based on a familiar conceptualization of the underlying domain. From the users queries the Optique platform will automatically generate appropriate queries over the underlying integrated data, optimize and...

    Provided By Free University of Bolzano

  • White Papers // Jun 2011

    Logic-based Reasoning Support for SBVR

    Automated support to enterprise modeling has increasingly become a subject of interest for organizations seeking solutions for storage, distribution and analysis of knowledge about business processes. This interest has recently resulted in approving the standard for specifying Semantics of business Vocabulary and Business Rules (SBVR). Despite the existence of formally...

    Provided By Free University of Bolzano

  • White Papers // Feb 2011

    Detection of Malicious Applications on Android OS

    In this paper, the authors present a methodology for mobile forensics analysis, to detect \"Malicious\" (or \"Malware\") applications, i.e., those that deceive users hiding some of their functionalities. This methodology is specifically targeted for the Android mobile operating system, and relies on its security model features, namely the set of...

    Provided By Free University of Bolzano

  • White Papers // Feb 2011

    Learning Strategies In Modelling Economic Growth

    Cornerstone economic growth models as the Solow-Swan model and their modern extensions normally assume the rate of population growth as exogenous without any explanation of the links between economic growth and most important demographic variables. Recently, some articles have presented models to explain many phenomena of population dynamics, including evolution...

    Provided By Free University of Bolzano

  • White Papers // Mar 2010

    Checking Full Satisfiability of Conceptual Models

    UML Class Diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expressed by UCDs one can exploit automated reasoning tools to detect relevant properties, such as schema and class satisfiability and subsumption between classes. Among the...

    Provided By Free University of Bolzano

  • White Papers // Jan 2010

    Updating Probabilistic XML

    The authors investigate the complexity of performing updates on probabilistic XML data for various classes of probabilistic XML documents of different succinctness. They consider two elementary kinds of updates, insertions and deletions, which are defined with the help of a locator query that specifies the nodes where the update is...

    Provided By Free University of Bolzano

  • White Papers // Jan 2010

    Mobile Recommender Systems

    Mobile phones are becoming a primary platform for information access and when coupled with recommender systems technologies they can become key tools for mobile users both for leisure and business applications. Recommendation techniques can increase the usability of mobile systems providing personalized and more focused content, hence limiting the negative...

    Provided By Free University of Bolzano

  • White Papers // May 2007

    Extracting Ontologies from Relational Databases

    The use of a conceptual model or ontology over data sources has been shown to be necessary to overcome many important database problems (for a survey see). Since ontologies provide a conceptual view of the application domain, the recent trend to employ such ontologies for navigational (and reasoning) purposes when...

    Provided By Free University of Bolzano

  • White Papers // May 2007

    An Extension of DIG 2.0 for Handling Bulk Data

    The research community has noted the need to retrieve the instance level of an ontology from bulk data stored in external data sources (e.g., a relational database), in order to delegate to the external source all aspects of the actual management of the data. To achieve this, several methodologies have...

    Provided By Free University of Bolzano

  • White Papers // Jun 2011

    Logic-based Reasoning Support for SBVR

    Automated support to enterprise modeling has increasingly become a subject of interest for organizations seeking solutions for storage, distribution and analysis of knowledge about business processes. This interest has recently resulted in approving the standard for specifying Semantics of business Vocabulary and Business Rules (SBVR). Despite the existence of formally...

    Provided By Free University of Bolzano

  • White Papers // Feb 2011

    Detection of Malicious Applications on Android OS

    In this paper, the authors present a methodology for mobile forensics analysis, to detect \"Malicious\" (or \"Malware\") applications, i.e., those that deceive users hiding some of their functionalities. This methodology is specifically targeted for the Android mobile operating system, and relies on its security model features, namely the set of...

    Provided By Free University of Bolzano

  • White Papers // May 2007

    An Extension of DIG 2.0 for Handling Bulk Data

    The research community has noted the need to retrieve the instance level of an ontology from bulk data stored in external data sources (e.g., a relational database), in order to delegate to the external source all aspects of the actual management of the data. To achieve this, several methodologies have...

    Provided By Free University of Bolzano

  • White Papers // May 2007

    Extracting Ontologies from Relational Databases

    The use of a conceptual model or ontology over data sources has been shown to be necessary to overcome many important database problems (for a survey see). Since ontologies provide a conceptual view of the application domain, the recent trend to employ such ontologies for navigational (and reasoning) purposes when...

    Provided By Free University of Bolzano

  • White Papers // Apr 2013

    On Rewriting and Answering Queries in OBDA Systems for Big Data

    The Optique project aims at providing an end-to-end solution for scalable access to Big Data integration were end users will formulate queries based on a familiar conceptualization of the underlying domain. From the users queries the Optique platform will automatically generate appropriate queries over the underlying integrated data, optimize and...

    Provided By Free University of Bolzano

  • White Papers // Mar 2010

    Checking Full Satisfiability of Conceptual Models

    UML Class Diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expressed by UCDs one can exploit automated reasoning tools to detect relevant properties, such as schema and class satisfiability and subsumption between classes. Among the...

    Provided By Free University of Bolzano

  • White Papers // Jan 2010

    Updating Probabilistic XML

    The authors investigate the complexity of performing updates on probabilistic XML data for various classes of probabilistic XML documents of different succinctness. They consider two elementary kinds of updates, insertions and deletions, which are defined with the help of a locator query that specifies the nodes where the update is...

    Provided By Free University of Bolzano

  • White Papers // Feb 2011

    Learning Strategies In Modelling Economic Growth

    Cornerstone economic growth models as the Solow-Swan model and their modern extensions normally assume the rate of population growth as exogenous without any explanation of the links between economic growth and most important demographic variables. Recently, some articles have presented models to explain many phenomena of population dynamics, including evolution...

    Provided By Free University of Bolzano

  • White Papers // Jan 2010

    Mobile Recommender Systems

    Mobile phones are becoming a primary platform for information access and when coupled with recommender systems technologies they can become key tools for mobile users both for leisure and business applications. Recommendation techniques can increase the usability of mobile systems providing personalized and more focused content, hence limiting the negative...

    Provided By Free University of Bolzano