207 search results - page 25 / 42 » ideas 1998 |
FMCAD
1998
Springer
13 years 12 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
FMCAD
1998
Springer
13 years 12 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
IATA
1998
Springer
13 years 12 months ago
1998
Springer
In this paper, we present several approaches to making the process of configuring network devices easier than is currently the case. Configuring a device requires that a number of ...
KDD
1998
ACM
13 years 12 months ago
1998
ACM
In data mining, similarity or distance between attributes is one of the central notions. Such a notion can be used to build attribute hierarchies etc. Similarity metrics can be us...
KDD
1998
ACM
13 years 12 months ago
1998
ACM
In this paper we discuss a data mining framework for constructing intrusion detection models. The key ideas are to mine system audit data for consistent and useful patterns of pro...