3483 search results - page 216 / 697 » Forward |
167
click to vote
CRYPTO
2000
Springer
15 years 10 months ago
2000
Springer
We put forward a new model for understanding the security of symmetric-key primitives, such as block ciphers. The model captures the fact that many such primitives often consist of...
287
click to vote
ELPUB
1999
ACM
15 years 10 months ago
1999
ACM
The state-of-the-art of electronic publishing in science and its nearest perspectives with the emphasis on technical issues are discussed. The discussion is based on the real-life...
159
click to vote
IEEEPACT
1999
IEEE
15 years 10 months ago
1999
IEEE
An asynchronous superscalar architecture is presented based on a novel architectural feature called instruction compounding. This enables efficient dynamic scheduling and forwardi...
148
click to vote
ECOOPW
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Current interface descriptions are poor in describing components, because they only provide an external view on a component and they do not lay down how components intera...
174
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...