The world today is characterised by the proliferation of information sources available through media such as the WWW, databases, semi-structured files (e.g. XML documents), etc. Nevertheless, this information is usually scattered, heterogeneous and weakly structured, so it is difficult to process it automatically. DENODO Corporation has developed a mediator system for the construction of semi-s...

Die Agrardomäne wird zunehmend mit Integrationsaufgaben existierender informationsverarbeitender Systeme konfrontiert und höherwertige Dienste sollen durch die Orchestrierung bereits existierender Systeme über vielfältige Kanäle angeboten werden. Der Einsatz von Middleware Systemen hilft, diese Aufgaben effizient zu realisieren. Mit der Open-Source Middleware von WSO2 steht ein breites Spektrum...

With the papers of Biere et. al. [1, 2] in 1999, SAT-based bounded model checking (BMC) for verification of LTL properties has been introduced as a complementary technique to BDD-based symbolic model checking, and a lot of successful work has been done with this approach. The idea has later also been applied to the verification of ACTL (the universal fragment of CTL) properties [6]. The efficie...

Mass customization, aiming at delivering an increasing product variety that best serves customer needs while keeping mass production eciency, has recently received numerous attention and popularity in industry and academia alike. This paper presents a methodology of developing product family architecture (PFA) to rationalize product development for mass customization. Systematic steps are deve...

In this paper, we introduce Relayed Multicast Control Protocol (RMCP). The RMCP has been designed for realizing and managing the relayed multicast. Relayed multicast, as known as Overlay Multicasting or Application-level Multicasting, is a data delivery scheme for one-to-many multicast application, in which one or more intermediate Multicast Agents are employed for relaying application data fro...

Along with thc rapid development of Internet and the extensive use of information technology in various fields, large amount of heterogeneous data has been produced. Tbe way of integrating these heterogeneous data has been a hot issue. In this paper, from the problems which enterprise information integration faced, a framework of self-adaptive heterogeneous data integration system (AHDIS) has b...

Scenarios for industry-scale multi-paradigm modelling involve analysis, transformation, or fine-grained manipulation of models. These models are often treated wholly or in part as trees (e.g. XML or XMI documents, or source code). However, existing facilities for accessing and manipulating models as trees is limited. We present a novel approach to model querying-by-example, treating models as t...

Many studies aimed to construct an automated gene expression analysis platform for researchers. However, they lack an integrated data model for analyzing heterogeneous data. In order to address this issue, we created a biological data integration platform for transcriptome analysis (BiDIP) for managing various kinds of databases. As part of this platform, we developed a biological interaction d...

Breadth and depth complexity are key challenges in achieving business process fusion as the enabler for value configuration design. The PARM framework is proposed as the requirement to address breadth and depth complexity through the independent but integrated operation of the process, activity, resource and management viewpoints. The operational scenarios for each viewpoint result in varying p...

Bidding in e-auctions in mobile environment is a challenging task as the bidder is mobile that may cause disconnections and may not be acquainted with the emarket environment that hosts multiple concurrent e-auctions. One of the ways to ensure winning a bid is to predict the closing price of considered relevant auctions to decide the bidding strategies. Closing price prediction of an auction de...