4850 search results - page 367 / 970 » Proof and Computation in Geometry |
196
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
169
click to vote
COMPGEOM
2010
ACM
15 years 12 months ago
2010
ACM
Let G be an unweighted graph of complexity n cellularly embedded in a surface (orientable or not) of genus g. We describe improved algorithms to compute (the length of) a shortest...
178
click to vote
VISUALIZATION
1998
IEEE
15 years 11 months ago
1998
IEEE
We consider interpolation between keyframe hierarchies. We impose a set of weak constraints that allows smooth interpolation between two keyframe hierarchies in an animation or, m...
224
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
204
click to vote
CRYPTO
2009
Springer
16 years 1 months ago
2009
Springer
Most of the work in the analysis of cryptographic schemes is concentrated in abstract adversarial models that do not capture side-channel attacks. Such attacks exploit various for...