5012 search results - page 818 / 1003 » Distributed Error Correction |
138
click to vote
CGF
2008
15 years 6 months ago
2008
This paper presents a method for the accurate rendering of path-based surface details such as grooves, scratches and similar features. The method is based on a continuous represen...
169
Voted
DEBU
2008
15 years 6 months ago
2008
Process mining has emerged as a way to discover or check the conformance of processes based on event logs. This enables organizations to learn from processes as they really take p...
174
click to vote
IEICET
2008
15 years 6 months ago
2008
We developed a content delivery system using a partially reconfigurable FPGA to securely distribute digital content on the Internet. With partial reconfigurability of a Xilinx Vir...
154
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Oblivious transfer (OT) is a primitive of paramount importance in cryptography or, more precisely, two- and multi-party computation due to its universality. Unfortunately...
176
Voted
ENTCS
2006
15 years 6 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...