3843 search results - page 359 / 769 » System support for shared objects |
206
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Avoidance and discovery of security vulnerabilities in information systems requires awareness of typical risks and a good understanding of vulnerabilities and their exploitations....
177
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
167
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research artifact. The challenge is now to increase the nu...
199
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
This paper presents the design of the storage system for the POSTGRES data base system under construction at Berkeley. It is novel in several ways. First, the storage manager supp...
162
click to vote
VRST
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we present the work undertaken by the Advanced Interfaces Group at the University of Manchester into the design and development of a system to support large numbers ...