1024 search results - page 145 / 205 » Value complete, column complete, predicate complete |
RSCTC
1993
Springer
15 years 4 months ago
1993
Springer
: While the common kinds of uncertainties in databases (e.g., null values, disjunction, corrupt/missing data, domain mismatch, etc.) have been extensively studied, a relatively une...
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
CTRSA
2007
Springer
15 years 3 months ago
2007
Springer
Side-channel attacks on block ciphers and public key algorithms have been discussed extensively. However, there is only sparse literature about side-cannel attacks on stream cipher...
ESA
2007
Springer
15 years 3 months ago
2007
Springer
A token is hidden in one out of n boxes following some known probability distribution and then all the boxes are locked. The goal of a searcher is to find the token in at most D n...
DATE
2007
IEEE
15 years 3 months ago
2007
IEEE
In the past decade, energy-efficiency has been an important system design issue in both hardware and software managements. For mobile applications with critical missions, both ene...