4949 search results - page 712 / 990 » Consistency and Set Intersection |
216
click to vote
IATA
1998
Springer
15 years 10 months ago
1998
Springer
This paper describes the architecture and operation of a Multi Agent system for providing end users with an intelligent interface for video conference and cooperative work services...
169
click to vote
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
174
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
Asynchronous circuits operate correctly only under timing assumptions. Hence testing those circuits for delay faults is crucial. This paper describes a three-step method to detect...
184
click to vote
PKDD
1998
Springer
15 years 10 months ago
1998
Springer
Knowledge discovery in databases (KDD) is a process that can include steps like forming the data set, data transformations, discovery of patterns, searching for exceptions to a pat...
178
click to vote
ICSM
1997
IEEE
15 years 10 months ago
1997
IEEE
Philips is an electronics company which operates world wide and participates in professional as well as consumer markets. The architecture of many software intensive systems are c...