1818 search results - page 153 / 364 » Granularity-Adaptive Proof Presentation |
134
click to vote
ITICSE
2010
ACM
15 years 5 months ago
2010
ACM
We show how to teach and motivate small quantum computer programs as a supplemental topic in a CS2 data structures class. A traditional example such as Shor’s factorization [8] ...
122
Voted
COMPGEOM
2008
ACM
15 years 5 months ago
2008
ACM
This video presents the working of a new algorithm/software called DelPSC that meshes piecewise smooth complexes in three dimensions with Delaunay simplices. Piecewise smooth comp...
159
click to vote
CSFW
2008
IEEE
15 years 5 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
158
Voted
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...
124
Voted
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present the security implications of x86 processor bugs or backdoors on operating systems and virtual machine monitors. We will not try to determine whether the b...