1419 search results - page 9 / 284 » Notes on Formalizing Context |
SACRYPT
2004
Springer
14 years 23 days ago
2004
Springer
Addition-subtraction-chains obtained from signed digit recodings of integers are a common tool for computing multiples of random elements of a group where the computation of invers...
JOC
2002
13 years 7 months ago
2002
In theoretical cryptography, one formalizes the notion of an adversary's success probability being "too small to matter" by asking that it be a negligible function ...
CAV
2009
Springer
14 years 2 months ago
2009
Springer
EWSPT
2003
Springer
14 years 19 days ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
FOIS
2001
13 years 8 months ago
2001
-- Representation theorems for systems of regions have been of interest for some time, and various contexts have been used for this purpose: Mormann [17] has demonstrated the fruit...