2056 search results - page 41 / 412 » Detecting Errors in Spreadsheets |
CAV
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
EMNLP
2007
14 years 12 days ago
2007
This paper compares a deep and a shallow processing approach to the problem of classifying a sentence as grammatically wellformed or ill-formed. The deep processing approach uses ...
CAV
2009
Springer
14 years 11 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
DFT
2007
IEEE
14 years 5 months ago
2007
IEEE
Many side-channel attacks on implementations of cryptographic algorithms have been developed in recent years demonstrating the ease of extracting the secret key. In response, vari...
EDCC
2006
Springer
14 years 2 months ago
2006
Springer
Bad error handling is the cause of many service outages. We address this problem by a novel approach to detect and patch bad error handling automatically. Our approach uses error ...