5246 search results - page 771 / 1050 » Sanitization models and their limitations |
167
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
185
click to vote
JCDL
2009
ACM
16 years 1 months ago
2009
ACM
The prevailing model for digital preservation is that archives should be similar to a “fortress”: a large, protective infrastructure built to defend a relatively small collect...
157
click to vote
SLIP
2009
ACM
16 years 1 months ago
2009
ACM
Different interconnection structures have been proposed to solve the performance limitation caused by scaling of on-chip global wires. In this paper, we give an overview of curre...
158
click to vote
WIKIS
2009
ACM
16 years 1 months ago
2009
ACM
Prior research on Wikipedia has characterized the growth in content and editors as being fundamentally exponential in nature, extrapolating current trends into the future. We show...
178
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Computer security systems protect computers and networks from unauthorized use by external agents and insiders. The similarities between computer security and the problem of prote...