Sciweavers

1487 search results - page 139 / 298
» Two Kinds of Metonymy
Sort
View
ADAEUROPE
1997
Springer
14 years 1 months ago
On Programming Atomic Actions in Ada 95
Abstract. This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and w...
Alexander B. Romanovsky, Stuart E. Mitchell, Andy ...
FOCS
1993
IEEE
14 years 1 months ago
Dynamic Word Problems
Let M be a fixed finite monoid. We consider the problem of implementing a data type containing a vector x ϭ ( x1, x2, . . . , xn) ʦ Mn , initially (1, 1, . . . , 1), with two kin...
Gudmund Skovbjerg Frandsen, Peter Bro Miltersen, S...
POS
1992
Springer
14 years 1 months ago
Supporting Large Persistent Stores using Conventional Hardware
Persistent programming systems are generally supported by an object store, a conceptually infinite object repository. Objects in such a repository cannot be directly accessed by u...
Francis Vaughan, Alan Dearle
SIGCOMM
1992
ACM
14 years 1 months ago
Supporting Real-Time Applications in an Integrated Services Packet Network: Architecture and Mechanism
This paper considers the support of real-time applications in an Integrated Services Packet Network (ISPN). We rst review the characteristics of real-time applications. We observ...
David D. Clark, Scott Shenker, Lixia Zhang
CSFW
2010
IEEE
14 years 1 months ago
Information Flow in Credential Systems
—This paper proposes a systematic study of information flow in credential-based declarative authorization policies. It argues that a treatment in terms of information flow is n...
Moritz Y. Becker