1424 search results - page 170 / 285 » Experiences on Designing an Integral Intrusion Detection Sys... |
106
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Dividing web pages into fragments has been shown to provide significant benefits for both content generation and caching. In order for a web site to use fragment-based content gen...
104
click to vote
WICSA
2004
15 years 2 months ago
2004
The sheer amount of data produced by modern science research has created a need for the construction and understanding of "data-intensive systems", largescale, distribut...
105
click to vote
SEKE
2001
Springer
15 years 6 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
132
click to vote
JCDL
2009
ACM
15 years 8 months ago
2009
ACM
We propose a generative model based on latent Dirichlet allocation for mining distinct topics in document collections by integrating the temporal ordering of documents into the ge...
128
click to vote
DAC
1997
ACM
15 years 5 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...