2056 search results - page 221 / 412 » Detecting Errors in Spreadsheets |
153
click to vote
SPIN
2005
Springer
16 years 13 hour ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
186
click to vote
CARDIS
2004
Springer
15 years 12 months ago
2004
Springer
: We present two architectures for protecting a hardware implementation of AES against side-channel attacks known as Differential Fault Analysis attacks. The first architecture, wh...
253
click to vote
DELTA
2010
IEEE
15 years 11 months ago
2010
IEEE
: Most of published audio watermark algorithms are suffered a trade-off between inaudibility and detectibility, and the detection performance depends greatly on the strength of noi...
186
click to vote
IWANN
2001
Springer
15 years 11 months ago
2001
Springer
In this paper two methods for the detection and recognition of landmarks to be used in topological modeling for autonomous mobile robots are presented. The first method is based o...
179
click to vote
ICSE
1997
IEEE-ACM
15 years 10 months ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...