239 search results - page 31 / 48 » Proof Techniques for Cryptographic Processes |
139
click to vote
ISTCS
1992
Springer
15 years 5 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
99
Voted
ISBI
2008
IEEE
15 years 8 months ago
2008
IEEE
New phase-shifting techniques have recently been proposed to suppress the complex-conjugate ambiguity in frequencydomain optical-coherence tomography. A phase shift is introduced,...
107
click to vote
CALCO
2007
Springer
15 years 8 months ago
2007
Springer
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
104
click to vote
SOSP
2003
ACM
15 years 10 months ago
2003
ACM
Recently, there has been considerable interest in providing “trusted computing platforms” using hardware — TCPA and Palladium being the most publicly visible examples. In th...
107
Voted
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
— Widespread use of cluster systems in diverse set of applications has spurred significant interest in providing high performance cluster interconnects. A major inefficiency in...