6607 search results - page 1310 / 1322 » Making TeX Work |
124
click to vote
CRYPTO
2011
Springer
13 years 11 months ago
2011
Springer
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...
118
click to vote
DAGSTUHL
2011
13 years 11 months ago
2011
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...
115
click to vote
DGO
2011
13 years 11 months ago
2011
The rising awareness of the challenges of preserving information over the long term has led to a wealth of initiatives developing economic models, methods, tools, systems, guideli...
119
click to vote
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
117
click to vote
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...