2255 search results - page 281 / 451 » High Assurance Software Systems |
146
click to vote
SIGIR
2006
ACM
16 years 14 days ago
2006
ACM
We consider the problem of large-scale retrieval evaluation, and we propose a statistical method for evaluating retrieval systems using incomplete judgments. Unlike existing techn...
144
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
This paper describes and analyzes a system architecture that enables consumers to access services and content from multiple providers without jeopardizing the privacy interests of...
153
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Completion of the human genome sequence along with other species allows for greater understanding of the biochemical mechanisms and processes that govern healthy as we...
236
click to vote
ICNP
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--IP multicast applications such as live lecture broadcasts are being increasingly used in enterprise and campus networks. In many cases, end hosts access these multicast s...
157
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we introduce Optimus: an optimizing synthesis compiler for streaming applications. Optimus compiles programs written in a high level streaming language to either so...