5484 search results - page 185 / 1097 » Almost-Everywhere Secure Computation |
132
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Ubiquitous application software usually has multiple QoS requirements, such as situationawareness, real-time, and security, which make the application software development complic...
121
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
modeling, such as using epidemic models, has been the general method of choice for understanding and analyzing the high-level effects of worms. However, high-fidelity models, such...
128
click to vote
ENTCS
2007
15 years 4 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
128
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
184
click to vote
SDMW
2010
Springer
15 years 2 months ago
2010
Springer
Searchable encryption is a technique that allows a client to store documents on a server in encrypted form. Stored documents can be retrieved selectively while revealing as little ...