145
click to vote
WOODPECKER
15 years 3 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...
146
click to vote
BDA
15 years 3 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 ...
124
click to vote
WOODPECKER
15 years 3 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
15 years 3 months ago
2001 104
click to vote
BDA
15 years 3 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...
|