16218 search results - page 181 / 3244 » Standards |
121
click to vote
TIT
2011
14 years 11 months ago
2011
Abstract—We propose a new method to speed up discrete logarithm (DL)-based cryptosystems by considering a new variant of the DL problem, where the exponents are formed as e1 + α...
117
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
This paper proposes an extension of the XSL-FO standard which allows the specification of an unlimited number of arbitrarily shaped page regions. These extensions are built
123
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
This paper presents a new protocol for certified email. The protocol aims to combine security, scalability, easy implementation, and viable deployment. The protocol relies on a li...
132
click to vote
ASM
2010
ASM
15 years 11 months ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
122
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
With the current demonstrator, we present an implementation of formal argumentation that is not only able to evaluate an argument according to standard argumentation semantics, bu...