Sciweavers

1103 search results - page 117 / 221
» The Relevance of Semantic Subtyping
Sort
View
WORDS
2003
IEEE
15 years 3 months ago
Asynchrony and Real-Time Dependable Computing
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
Gérard Le Lann
DBISP2P
2003
Springer
70views Database» more  DBISP2P 2003»
15 years 3 months ago
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...
Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenk...
DEXAW
2002
IEEE
132views Database» more  DEXAW 2002»
15 years 2 months ago
A Disciplined Approach for the Integration of Heterogeneous XML Datasources
In this paper, we focus on the problem of integrating heterogeneous XML datasources. We follow a semantic approach to information sharing and integration, and we present a discipl...
Silvana Castano, Alfio Ferrara, G. S. Kuruvilla Ot...
IV
2002
IEEE
126views Visualization» more  IV 2002»
15 years 2 months ago
The Empathic Visualisation Algorithm (EVA) - An Automatic Mapping from Abstract Data to Naturalistic Visual Structure
from Abstract Data to Naturalistic Visual Structure A. Loizides and M.Slater Department of Computer Science, University College London (UCL), London, UK This paper demonstrates a ...
Andreas Loizides, Mel Slater
ECSQARU
2001
Springer
15 years 2 months ago
Reasoning about Knowledge Using Rough Sets
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
Weiru Liu