1753 search results - page 176 / 351 » IRON file systems |
154
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
We describe our experiences with the Chubby lock service, which is intended to provide coarse-grained locking as well as reliable (though low-volume) storage for a loosely-coupled...
161
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Software component techniques are widely used to enhance productivity and reduce the cost of software systems development. This paper proposes optimization of component connections...
169
click to vote
GECON
2007
Springer
15 years 10 months ago
2007
Springer
We study a peer-to-peer backup system, where users offer some of their storage space to provide service for the others. The economic model for such a system is different from the o...
185
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
178
click to vote
CAISE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. There is an increasing need to provide methods for describing information systems which incorporate the integrated use of multiple channels of interaction. To achieve thi...