1402 search results - page 38 / 281 » Distributed Integrity Checking for Systems with Replicated D... |
133
click to vote
APSEC
1999
IEEE
15 years 7 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
123
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
146
click to vote
WETICE
2009
IEEE
15 years 10 months ago
2009
IEEE
The ever growing request for digital information raises the need for content distribution architectures providing high storage capacity, data availability and good performance. Wh...
129
click to vote
ECIR
2004
Springer
15 years 4 months ago
2004
Springer
We simulate different architectures of a distributed Information Retrieval system on a very large Web collection, in order to work out the optimal setting for a particular set of r...
103
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
d abstractions for high-performance remote data access, mechanisms for scalable data replication, cataloging with rich semantic and syntactic information, data discovery, distribut...