3155 search results - page 350 / 631 » Maintenance: Less Is Not More |
157
click to vote
RE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Security requirements often have implicit assumptions about trust relationships among actors. The more actors trust each other, the less stringent the security requireme...
174
click to vote
SACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we analyze the hash functions Dynamic SHA and Dynamic SHA2, which have been selected as first round candidates in the NIST hash function competition. These hash fun...
201
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable f...
182
click to vote
SLS
2009
Springer
16 years 1 months ago
2009
Springer
Stochastic local search algorithms can now successfully solve MAXSAT problems with thousands of variables or more. A key to this success is how effectively the search can navigate...
161
click to vote
ISLPED
2009
ACM
16 years 1 months ago
2009
ACM
Increasing power densities and the high cost of low thermal resistance packages and cooling solutions make it impractical to design processors for worst-case temperature scenarios...