1092 search results - page 69 / 219 » Do summaries help |
156
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
194
Voted
CAMP
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper describes the mapping of a recently introduced template matching algorithm based on the Normalized Cross Correlation (NCC) on a general purpose processor endowed wit...
136
Voted
HPDC
2005
IEEE
15 years 10 months ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
153
click to vote
PADS
2005
ACM
15 years 10 months ago
2005
ACM
ct This paper provides an overview of the WarpIV Simulation Kernel that was designed to be an initial implementation of the Standard Simulation Architecture (SSA). WarpIV is the ne...
131
click to vote
CCA
2005
Springer
15 years 10 months ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...