7080 search results - page 181 / 1416 » Designing High Integrity Systems Using Aspects |
SOSP
1993
ACM
15 years 28 days ago
1993
ACM
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...
ACMDIS
2006
ACM
15 years 5 months ago
2006
ACM
Our physical bodies play a central role in shaping human experience in the world, understanding of the world, and interactions in the world. This paper draws on theories of embodi...
108
click to vote
IWFM
2000
15 years 28 days ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
MSS
2007
IEEE
15 years 5 months ago
2007
IEEE
TPT-RAID is a multi-box RAID wherein each ECC group comprises at most one block Jrom any given storage box, and can thus tolerate a boxJailure. It extends the idea ojan out-oj-ban...
SC
1992
ACM
15 years 3 months ago
1992
ACM
Exploiting parallelism at both the multiprocessor level and the instruction level is an e ective means for supercomputers to achieve high-performance. The amount of instruction-le...