3342 search results - page 137 / 669 » Symbolic Robustness Analysis |
158
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
The Random Sample Consensus (RANSAC) algorithm is a popular tool for robust estimation problems in computer vision, primarily due to its ability to tolerate a tremendous fraction o...
148
click to vote
CCS
2009
ACM
16 years 27 days ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
159
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Attackers exploit software vulnerabilities to control or crash programs. Bouncer uses existing software instrumentation techniques to detect attacks and it generates filters auto...
158
click to vote
DSN
2009
IEEE
16 years 26 days ago
2009
IEEE
This work assesses how crashes and recoveries affect the performance of a replicated dynamic content web application. RobustStore is the result of retrofitting TPC-W’s on-line ...
152
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Web of Data is increasingly becoming an important infrastructure for such diverse sectors as entertainment, government, ecommerce and science. As a result, the robust...