Sciweavers

5639 search results - page 573 / 1128
» Timed Abstract Non-interference
Sort
View
CRYPTO
1994
Springer
104views Cryptology» more  CRYPTO 1994»
15 years 10 months ago
Cryptographic Randomness from Air Turbulence in Disk Drives
Abstract. A computer disk drive's motor speed varies slightly but irregularly, principally because of air turbulence inside the disk's enclosure. The unpredictability of ...
Don Davis, Ross Ihaka, Philip Fenstermacher
175
Voted
ECOOP
1993
Springer
15 years 10 months ago
Type Inference of SELF
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
136
Voted
ECAIW
1994
Springer
15 years 10 months ago
Goal Creation in Motivated Agents
Abstract. Goal creation is an important consideration for an agent that is required to behave autonomously in a real-world domain. This paper describes an agent that is directed, n...
Timothy J. Norman, Derek Long
ICLP
1993
Springer
15 years 10 months ago
On Copy Avoidance in Single Assignment Languages
: Copy avoidance refers to the safe replacement, at compile time, of copying operations by destructive updates in single-assignment languages. Conceptually, the problem can be divi...
Saumya K. Debray
169
Voted
ISTCS
1993
Springer
15 years 10 months ago
The Minimum Reservation Rate Problem in Digital Audio/Video Systems
d Abstract) David P. Anderson Nimrod Megiddoy Moni Naorz April 1993 The \Minimum Reservation Rate Problem" arises in distributed systems for handling digital audio and video d...
Nimrod Megiddo, Moni Naor, David P. Anderson