11455 search results - page 1777 / 2291 » The Rayset and Its Applications |
193
click to vote
NPAR
2010
ACM
16 years 9 days ago
2010
ACM
We present a simple technique for creating fluid silhouettes described with vector graphics, which we call ”Vector Fluid.” In our system, a solid region in the fluid is repr...
183
click to vote
PLDI
2010
ACM
16 years 9 days ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
214
click to vote
TAMC
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. In this paper, we give streaming algorithms for some problems which are known to be in deterministic log-space, when the number of passes made on the input is unbounded. ...
185
click to vote
TRUST
2010
Springer
16 years 8 days ago
2010
Springer
Secure outsourcing of computation to an untrusted (cloud) service provider is becoming more and more important. Pure cryptographic solutions based on fully homomorphic and verifia...
222
click to vote
WOLLIC
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...