44 search results - page 8 / 9 » Using equivalence-checking to verify robustness to denial of... |
CHARME
2003
Springer
13 years 11 months ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
ICPR
2008
IEEE
14 years 7 months ago
2008
IEEE
The Prague texture segmentation data-generator and benchmark is a web based (http://mosaic.utia.cas.cz) service designed to mutually compare and rank different texture segmenters,...
ICCNMC
2005
Springer
13 years 11 months ago
2005
Springer
Anonymity technologies have gained more and more attention for communication privacy. In general, users obtain anonymity at a certain cost in an anonymous communication system, whi...
PET
2009
Springer
14 years 23 days ago
2009
Springer
: © Privacy-Preserving Computation and Verification of Aggregate Queries on Outsourced Databases Brian Thompson, Stuart Haber, William G. Horne, Tomas Sander, Danfeng Yao HP Labor...
PVLDB
2008
13 years 5 months ago
2008
Helpdesk databases are used to store past interactions between customers and companies to improve customer service quality. One common scenario of using helpdesk database is to fi...