2674 search results - page 186 / 535 » On architecture transparency in operating systems |
173
click to vote
PACT
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
162
click to vote
FAST
2007
15 years 8 months ago
2007
Continuous Data Protection (CDP) is a recent storage technology which enables reverting the state of the storage to previous points in time. We propose four alternative architectu...
146
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...
177
click to vote
EDOC
2007
IEEE
16 years 1 months ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
179
click to vote
VLDB
1992
ACM
15 years 11 months ago
1992
ACM
Recent developments in software and hardware changed the way database systems are built and operate. In this paper we present database architectures based on the Client Server par...