6568 search results - page 390 / 1314 » Reducing the Complexity of Reductions |
227
click to vote
LISA
2007
15 years 10 months ago
2007
We present an architecture1 designed for alert verification (i.e., to reduce false positives) in network intrusion-detection systems. Our technique is based on a systematic (and a...
211
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
158
click to vote
FC
2008
Springer
15 years 9 months ago
2008
Springer
The practical advantage expected from transferable e-cash compare to non-transferable is the significant reduction of the interaction number between the bank and the users. However...
179
click to vote
FMCAD
2008
Springer
15 years 9 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
173
click to vote
LREC
2008
15 years 9 months ago
2008
This paper presents the application of inheritance to the formal taxonomy (is-a) of a semantically rich Lexical Resource (LR) based on the Generative Lexicon theory, SIMPLE-CLIPS....