12741 search results - page 156 / 2549 » Editorial and call for papers |
169
click to vote
RAID
2004
Springer
15 years 12 months ago
2004
Springer
Anomaly detection is a promising approach to detecting intruders masquerading as valid users (called masqueraders). It creates a user profile and labels any behavior that deviates...
165
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
hedron Abstract Domain Robert Claris´o and Jordi Cortadella Universitat Polit`ecnica de Catalunya Barcelona, Spain Abstract. An interesting area in static analysis is the study of...
174
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
157
click to vote
AINA
2003
IEEE
15 years 11 months ago
2003
IEEE
Electronic multimedia publishing is increasingly becoming a major industrial activity, and the design of web applications and hypermedia applications in general needs to become a ...
129
click to vote
ANSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Crosstalk noise evaluation consists in analysing the effect of the transition of a signal - called aggressor - on its neighbours - called victims. This evaluation is based on a mo...