23406 search results - page 4329 / 4682 » Architecture, Design, Implementation |
242
click to vote
ECOOP
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Transcript is a system that enhances JavaScript with support for transactions. Hosting Web applications can use transactions to demarcate regions that contain untrusted g...
317
click to vote
PET
2012
Springer
13 years 9 months ago
2012
Springer
We present PRISM, a privacy-preserving scheme for word search in cloud computing. In the face of a curious cloud provider, the main challenge is to design a scheme that achieves pr...
284
click to vote
TSE
2012
13 years 9 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
192
click to vote
SPAA
2012
ACM
13 years 9 months ago
2012
ACM
We present a highly-scalable non-blocking producer-consumer task pool, designed with a special emphasis on lightweight synchronization and data locality. The core building block o...
229
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...