1419 search results - page 9 / 284 » Notes on Formalizing Context |
113
Voted
SACRYPT
2004
Springer
15 years 5 months 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
15 years 3 days 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 ...
93
Voted
CAV
2009
Springer
15 years 7 months ago
2009
Springer
129
Voted
EWSPT
2003
Springer
15 years 5 months 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
15 years 1 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...