8949 search results - page 595 / 1790 » is 1998 |
288
click to vote
NADA
1998
Springer
15 years 11 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
174
click to vote
POS
1998
Springer
15 years 11 months ago
1998
Springer
PJama is a system that provides orthogonal persistence defined by reach
172
click to vote
SACRYPT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present an attack on the ORYX stream cipher that requires only 25
180
click to vote
TIC
1998
Springer
15 years 11 months ago
1998
Springer
Suppose we translate two different source languages,