525 search results - page 51 / 105 » Using Checkable Types in Automatic Protocol Analysis |
PLDI
2006
ACM
14 years 3 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper, we propose a partially-blurred-image classification and analysis framework for automatically detecting images containing blurred regions and recognizing the blur ty...
USENIX
2008
13 years 11 months ago
2008
In this paper we present the analysis of two large-scale network file system workloads. We measured CIFS traffic for two enterprise-class file servers deployed in the NetApp data ...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Summarizing web pages have recently gained much attention from researchers. Until now two main types of approaches have been proposed for this task: content- and context-based met...
GLOBECOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—In this paper we look at the problem of accurately reconstructing distributed signals through the collection of a small number of samples at a data gathering point. The techniqu...