1733 search results - page 173 / 347 » Self-Similarity in File Systems |
139
Voted
GECON
2007
Springer
15 years 8 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...
148
click to vote
ENTCS
2010
15 years 4 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...
139
click to vote
CAISE
2005
Springer
15 years 10 months 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...
141
click to vote
DSOM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. End-to-end automated application design and deployment poses a significant technical challenge. With increasing scale and complexity of IT systems and the manual handling...
127
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Building a generalizable detector of student behavior within intelligent tutoring systems presents two challenges: transferring between different cohorts of students (who may devel...