5900 search results - page 455 / 1180 » Dependable Systems |
174
click to vote
CSFW
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
218
click to vote
CSL
2000
Springer
15 years 11 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
197
Voted
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...
167
Voted
EMNLP
2008
15 years 8 months ago
2008
The performance of machine translation systems varies greatly depending on the source and target languages involved. Determining the contribution of different characteristics of l...
142
click to vote
JAL
1998
15 years 6 months ago
1998
Public-key cryptographic systems often involve raising elements of some group (e.g. GF(2n), Z/NZ, or elliptic curves) to large powers. An important question is how fast this expon...