2661 search results - page 350 / 533 » Model Checking Performability Properties |
146
click to vote
CTRSA
2012
Springer
13 years 8 months ago
2012
Springer
We study the problem of searching on encrypted data, where the search is performed using a plaintext message or a keyword, rather than a message-specific trapdoor as done by state...
187
Voted
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...
110
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
131
Voted
SIGMOD
2004
ACM
16 years 25 days ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...