9245 search results - page 1291 / 1849 » Virtualization |
195
click to vote
CCS
2011
ACM
14 years 7 months ago
2011
ACM
Garbled circuits play a key role in secure computation. Unlike previous work, which focused mainly on efficiency and automation aspects of secure computation, in this paper we foc...
396
click to vote
EGITALY
2011
14 years 6 months ago
2011
Recently, the number of applications developed for smartphones has dramatically increased; however, at the moment, applications having the purpose of creating and displaying 3D mo...
171
click to vote
EMNLP
2011
14 years 6 months ago
2011
Open Information Extraction (IE) is the task of extracting assertions from massive corpora without requiring a pre-specified vocabulary. This paper shows that the output of state...
215
click to vote
IACR
2011
14 years 6 months ago
2011
—Cloud computing is a style of computing in which dynamically scalable and commonly virtualized resources are provided as a service over the Internet. This paper, first presents ...
216
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...