Sciweavers

537 search results - page 62 / 108
» tools 1999
Sort
View
RAID
1999
Springer
15 years 2 months ago
Anomaly Intrusion Detection Systems: Handling Temporal Relations Between Events
Lately, many approaches have been developed to discover computer abuse. Some of them use data mining techniques to discover anomalous behavior in audit trail, considering this beh...
Alexandr Seleznyov, Seppo Puuronen
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
15 years 2 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
SEKE
1999
Springer
15 years 2 months ago
Systematic Population, Utilization, and Maintenance of a Repository for Comprehensive Reuse
Today’s software developments are faced with steadily increasing expectations: software has to be developed faster, better, and cheaper. At the same time, application complexity ...
Klaus-Dieter Althoff, Andreas Birk, Susanne Hartko...
SIGADA
1999
Springer
15 years 2 months ago
Interfacing low-level C device drivers with Ada 95
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying “off-the-self” items to meet their ...
Steven Doran
WEBDB
1999
Springer
196views Database» more  WEBDB 1999»
15 years 2 months ago
Web Ecology: Recycling HTML Pages as XML Documents Using W4F
In this paper we present the World-Wide Web Wrapper Factory (W4F), a Java toolkit to generate wrappers for Web data sources. Some key features of W4F are an expressive language to...
Arnaud Sahuguet, Fabien Azavant