WOODPECKER
13 years 6 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
BDA
13 years 6 months ago
2001
A Community Web portal is a set of tools for a community of people who want to share information on a certain domain via the Web. The backbone of this system is an ontology which ...
WOODPECKER
13 years 6 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
WOODPECKER
13 years 6 months ago
2001 BDA
13 years 6 months ago
2001
We study the inference on the interesting association rules. Then we define the concept of the representative basis for interesting association rules extracted from a dataset D, a...
|