1043 search results - page 148 / 209 » Reading, Writing and Relations |
165
click to vote
IACR
2011
14 years 6 months ago
2011
With the gaining popularity of remote storage (e.g. in the Cloud), we consider the setting where a small, protected local machine wishes to access data on a large, untrusted remot...
196
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
181
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
164
click to vote
PPOPP
2012
ACM
14 years 1 months ago
2012
ACM
The actor model has already proven itself as an interesting concurrency model that avoids issues such as deadlocks and race conditions by construction, and thus facilitates concur...
206
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
—Statistical information extraction (IE) programs are increasingly used to build real-world IE systems such as Alibaba, CiteSeer, Kylin, and YAGO. Current statistical IE approach...