5326 search results - page 255 / 1066 » On what we can ensure |
160
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
140
click to vote
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
Heartbeat protocols are used by distributed programs to ensure that if a process in a program terminates or fails, then the remaining processes in the program terminate. We presen...
149
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
Many irregular scientific computing problems can be modeled by directed acyclic task graphs (DAGs). In this paper, we present an efficient run-time system for executing general as...
207
click to vote
RTSS
1993
IEEE
15 years 10 months ago
1993
IEEE
Studies in [7,8, 91 concluded that for a variety of reasons, optimistic concurrency control appears well-suited to real-time database systems. Especially, they showed that in a re...
165
click to vote
SP
1990
IEEE
15 years 10 months ago
1990
IEEE
This paper examines some questions concerning commercial computer security integrity policies. We give an example of a dynamic separation of duty policy which cannot be implemente...