14704 search results - page 2584 / 2941 » computing 2007 |
123
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
143
click to vote
CC
2007
Springer
15 years 11 months ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
157
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
153
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
We present an efficient protocol for privacy-preserving evaluation of diagnostic programs, represented as binary decision trees or branching programs. The protocol applies a bran...
120
Voted
CCS
2007
ACM
15 years 11 months ago
2007
ACM
The detection of covert timing channels is of increasing interest in light of recent practice on the exploitation of covert timing channels over the Internet. However, due to the ...