1222 search results - page 155 / 245 » Verifying a File System Implementation |
169
click to vote
SOICT
2010
14 years 11 months ago
2010
Protecting data by passwords in documents such as DOC, PDF or RAR, ZIP archives has been demonstrated to be weak under dictionary attacks. Time for recovering the passwords of suc...
155
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...
129
click to vote
TCIAIG
2010
14 years 11 months ago
2010
The `Games With A Purpose' (GWAP) genre is a type of `Human Computation' that outsources certain steps of the computational process to humans. Although most GWAP studies ...
157
click to vote
ENTCS
2006
15 years 4 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
160
click to vote
MBEES
2010
15 years 3 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...