17054 search results - page 3191 / 3411 » Logics of Dynamical Systems |
157
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
177
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Linear pushbroom cameras are widely used in passive remote sensing from space as they provide high resolution images. In earth observation applications, where several pushbroom se...
204
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
The dynamic nature of JavaScript web applications has given rise to the possibility of privacy violating information flows. We present an empirical study of the prevalence of such...
186
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...
190
click to vote
SIGMETRICS
2010
ACM
15 years 6 months ago
2010
ACM
This paper addresses the problem of distributed resource allocation in general fork and join processing networks. The problem is motivated by the complicated processing requiremen...