ions such as inheritance are more naturally represented by graphs than as sets (Levene and Poulovassilis, 1991 [33]; Poulovassilis and Levene, 1994 [34]). (4) Data modellings in object-relational DBMSs still have weaknesses in semantic supports. For example, because the functional data model is the “lowest common denominator” of data models (refer to Section 2.2.3.1), there is lack of semantic ...

Association is an important relationship that is supported in both UML and entity relationship database modeling tools. However, there is no language or library support in current object-oriented languages for implementing an association relationship. Instead, a complex implementation using references or collections of references must be handcrafted and laboriously maintained each time an assoc...

This article deals with the issue of Business Intelligence (BI), especially its next generation Business Discovery(BD). This tool can help to fill the gap between traditional solutions we get from BI and standalone office productivity applications. Its users are able to forget new paths and make new discoveries. Here we want to present BD as being thoroughly complementary to traditional ERP, CR...

Object-role Modeling (ORM) is a fact-oriented modeling approach for specifying, transforming, and querying information at a conceptual level. Unlike Entity-Relationship modeling and Unified Modeling Language class diagrams, fact-oriented modeling is attribute-free, treating all elementary facts as relationships. For information modeling, fact-oriented graphical notations are typically far more ...

This paper proposes an algorithm for exact computation of bisimilarity distances between discrete-time Markov chains introduced by Desharnais et. al. Our work is inspired by the theoretical results presented by Chen et. al. at FoSSaCS’12, proving that these distances can be computed in polynomial time using the ellipsoid method. Despite its theoretical importance, the ellipsoid method is known ...

Accurate effort prediction is often an important factor for successful software development. However, the diversity of software development tools observed today has resulted in a situation where existing effort prediction models’ applicability appears to be limited. Data-centred fourth-generation-language (4GL) software development provides one such difficulty. This paper aims to construct an a...

An iris verification system based on the integration of secret pseudo-random number and the userspecific iris feature, which generated from the ID Log-Gabor filters, to produce a unique compact binary code per person is proposed in this paper. This dual factor authentication approach coined as S-Iris Ecoding has significant functional advantages over solely biometrics such as token replacement....

Although entity coherence, i.e. the coherence that arises from certain patterns of references to entities, is of attested importance for characterising a descriptive text structure, whether and how current formal models of entity coherence such as Centering Theory can be used for the purposes of natural language generation remains unclear. This thesis investigates this issue and sets out to exp...

In this paper, we present a method for secret key generation and recovery based on iris verification that, unlike typical systems which store iris templates persistently, stores recovery information on a smart card carried by the user. The scheme uses error-correcting codes to overcome the noisiness inherent in biometric readings. Our iris template incorporates reliable region selection, reliab...