Sciweavers

1424 search results - page 249 / 285
» Experiences on Designing an Integral Intrusion Detection Sys...
Sort
View
ICSE
2007
IEEE-ACM
16 years 1 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
HICSS
2008
IEEE
163views Biometrics» more  HICSS 2008»
15 years 7 months ago
Building a Test Suite for Web Application Scanners
This paper describes the design of a test suite for thorough evaluation of web application scanners. Web application scanners are automated, black-box testing tools that examine w...
Elizabeth Fong, Romain Gaucher, Vadim Okun, Paul E...
ICC
2008
IEEE
143views Communications» more  ICC 2008»
15 years 7 months ago
A Closed-Form Expression for Static Worm-Scanning Strategies
—This work presents a closed-form expression for characterizing the spread of static worm-scanning strategies through a mean-field approximation. Our model can both accurately c...
Zesheng Chen, Chao Chen
IUI
2006
ACM
15 years 7 months ago
Multimodal interaction styles for hypermedia adaptation
We explore the concept of interaction styles used to navigate through hypermedia systems. A demonstrator was built to conduct a user study with the objective of detecting whether ...
Ronnie Taib, Natalie Ruiz
PCI
2005
Springer
15 years 6 months ago
Protein Classification with Multiple Algorithms
Nowadays, the number of protein sequences being stored in central protein databases from labs all over the world is constantly increasing. From these proteins only a fraction has b...
Sotiris Diplaris, Grigorios Tsoumakas, Pericles A....