Sciweavers

117 search results - page 8 / 24
» caise 2006
Sort
View
CAISE
2006
Springer
13 years 11 months ago
Modelling and Verifying of e-Commerce Systems
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
Andreas Speck
CAISE
2006
Springer
13 years 11 months ago
Context-aware Applications with Distributed Ontologies
This paper presents a framework for context-aware applications, with a particular focus on collaboration and pervasiveness. The framework relies on distributed ontologies, which ar...
Flavio De Paoli, Marco Loregian
CAISE
2006
Springer
13 years 11 months ago
Isolated Features Detection in Feature Models
Feature models are commonly used to describe software product lines in terms of features. Features are linked by relations, which may introduce errors in the model. This paper give...
Pablo Trinidad, David Benavides, Antonio Ruiz Cort...
CAISE
2006
Springer
13 years 11 months ago
Detecting Changes in Ontologies via DAG Comparison
Abstract. Ontologies are shared conceptualizations of a certain domain. As such domains may change, also changes in the ontologies have to be considered, as otherwise there is no w...
Johann Eder, Karl Wiggisser
CAISE
2006
Springer
13 years 11 months ago
Managing Source Quality Changes in a Data Integration System
This thesis addresses the problem of source quality changes in Data Integration Systems. Its main goal is to propose techniques for maintaining as much as possible the satisfaction...
Adriana Marotta