6960 search results - page 422 / 1392 » Continuity Analysis of Programs |
99
Voted
CORR
2006
Springer
15 years 5 months ago
2006
Springer
An efficient archive securing the integrity of VoIP-based two-party conversations is presented. The solution is based on chains of hashes and continuously chained electronic signa...
139
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We present a novel, type-logical analysis of polarity sensitivity: how negative polarity items (like any and ever) or positive ones (like some) are licensed or prohibited. It take...
161
Voted
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
163
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— We developed an automated environment to measure the memory access behavior of applications on high performance clusters. Code optimization for processor caches is cruc...
165
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...