This paper discusses verification of the security against inference attacks on XML databases. First, a security definition called ksecrecy against inference attacks on XML databases is proposed. k-secrecy with an integer k > 1 (or k = ∞) means that attackers cannot narrow down the candidates for the value of the sensitive information to k − 1 (or finite), using the results of given authorized q...

In this paper a definition of multiresoltuion analysis (MRA) of Gaussian processes is proposed. The problem, in a natural way, reduces to the MRA of the associated reproducing kernel Hilbert space. We then show that for processes synthesized from Gaussian white process by fractional integration of order 1, this definition is applicable. The MRA results in an orthogonal expansion of these proces...

The study reported in this paper is based on two assumptions about the importance of the consistency of a geographical database. Firstly, consistency is an important factor concerning the quality of data. Secondly, consistency of a geographical object requires that the description of the context of the object is a part of the object definition. In object-oriented databases, it is possible to mo...

The underlying property, its definition and representation play a major role when monitoring a system. Having a suitable and convenient framework to express properties is thus a concern for runtime analysis. It is desirable to delineate in this framework the spaces of properties for which runtime verification approaches can be applied to. This paper presents a unified view of runtime verificati...

The explication of the semantics of geospatial concepts is a crucial research priority which affects various aspects of information representation, formalization, integration, and exchange. The aim of the present paper is twofold. Firstly, it proposes a methodology for the semantic definition of geospatial concepts. The proposal is based on an analysis of the semantics of geospatial concepts de...

Today business registries are regarded as means of finding services offered by a business partner. However, business registries might also serve as means of seaching inter-organizational business process definitions that are relevant in one’s own business environment. Thus, it is important to define in which environments an inter-organizational business process definition is valid. Furthermore,...

Electronic brokerages (E-brokerages) are Internet-based organizations that enable buyers and sellers to do business with each other. While E-brokerage has become a significant sector of E-commerce, theory and guidelines for matching the multi-attribute exchange in E-brokerage are sparse. This paper proposes a matching approach to optimize the trade matching in one-shot multi-attribute exchanges...

In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several tasks. Firstly, the definition of a BP meta-model (MM) consisting of a set of rules that guide the BP designers in their work. Secondly, given a BP, the BPAL platform allows for the automatic verification of the compliance (wel...

BACKGROUND The traditional concept of continuity of care, i.e. care from the cradle to the grave, is no longer sustainable in modern society. OBJECTIVE The aim of this study was to propose a definition of 'continuity of care' based on the experiences of a group of practising Australian GPs. METHOD Five focus group discussions were conducted to explore the understanding and practice of conti...

Recently Burusco introduced interval-valued fuzzy formal contexts into fuzzy formal concept analysis. The most interesting work mainly including fuzzy attribute implications from fuzzy formal context, however, were presented under the framework of residuated lattice. In this paper, we first show that the study of interval-valued fuzzy set can be fitted into the framework of residuated lattice. ...