1518 search results - page 118 / 304 » Cryptographic Test Correction |
126
Voted
CBMS
2009
IEEE
15 years 9 months ago
2009
IEEE
— Real-time medical image quality is a critical requirement in a number of healthcare environments, including ophthalmology where studies suffer loss of data due to unusable (ung...
113
click to vote
STOC
1998
ACM
15 years 8 months ago
1998
ACM
On Labor Day weekend, the highway patrol sets up spot-checks at random points on the freeways with the intention of deterring a large fraction of motorists from driving incorrectl...
207
click to vote
CDB
1997
Springer
15 years 8 months ago
1997
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and investigate the expressibility of the topological connectivity query for these databa...
132
click to vote
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
142
click to vote
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...