793 search results - page 73 / 159 » Argumentation and standards of proof |
89
Voted
SMA
2005
ACM
15 years 6 months ago
2005
ACM
In the parametric feature based design paradigm, most features possess arguments that are subsets of the boundary of the current model, subsets defined interactively by user sele...
88
Voted
TOG
2002
15 years 11 days ago
2002
Geometric transformations are most commonly represented as square matrices in computer graphics. Following simple geometric arguments we derive a natural and geometrically meaning...
82
Voted
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
We define security goals and attack models for disk encryption, and prove several relationships between the resulting security notions, and some general results about disk encryp...
119
Voted
CTRSA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a non-interactive chosen ciphertext secure threshold encryption system. The proof of security is set in the standard model and does not use random oracles. Our...
101
Voted
AAAI
1990
15 years 1 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...