Sciweavers

21183 search results - page 4185 / 4237
» Adaptive Testing by Test
Sort
View
USS
2010
15 years 27 days ago
Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking
Idle port scanning uses side-channel attacks to bounce scans off of a "zombie" host to stealthily scan a victim IP address and determine if a port is open or closed, or ...
Roya Ensafi, Jong Chun Park, Deepak Kapur, Jedidia...
VSTTE
2010
Springer
15 years 27 days ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
AMW
2009
15 years 27 days ago
Schema Design for Uncertain Databases
We address schema design in uncertain databases. Since uncertain data is relational in nature, decomposition becomes a key issue in design. Decomposition relies on dependency theo...
Anish Das Sarma, Jeffrey D. Ullman, Jennifer Widom
CLEF
2009
Springer
15 years 26 days ago
ImageCLEF 2009 Medical Image Annotation Task: PCTs for Hierarchical Multi-Label Classification
In this paper, we describe an approach for the automatic medical image annotation task of the 2009 CLEF cross-language image retrieval campaign (ImageCLEF). This work is focused o...
Ivica Dimitrovski, Dragi Kocev, Suzana Loskovska, ...
CLEF
2009
Springer
15 years 26 days ago
Overview of the CLEF 2009 Large-Scale Visual Concept Detection and Annotation Task
The large-scale visual concept detection and annotation task (LS-VCDT) in ImageCLEF 2009 aims at the detection of 53 concepts in consumer photos. These concepts are structured in ...
Stefanie Nowak, Peter Dunker
« Prev « First page 4185 / 4237 Last » Next »