Sciweavers

357 search results - page 6 / 72
» A Framework for Evaluating Storage System Dependability
Sort
View
LPAR
2004
Springer
14 years 1 months ago
The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...
Jürgen Giesl, René Thiemann, Peter Sch...
STORAGESS
2005
ACM
14 years 1 months ago
An approach for fault tolerant and secure data storage in collaborative work environments
We describe a novel approach for building a secure and fault tolerant data storage service in collaborative work environments, which uses perfect secret sharing schemes to store d...
Arun Subbiah, Douglas M. Blough
ESEM
2008
ACM
13 years 9 months ago
Socio-technical congruence: a framework for assessing the impact of technical and work dependencies on software development prod
The identification and management of work dependencies is a fundamental challenge in software development organizations. This paper argues that modularization, the traditional tec...
Marcelo Cataldo, James D. Herbsleb, Kathleen M. Ca...
SIGIR
2012
ACM
11 years 10 months ago
Modeling higher-order term dependencies in information retrieval using query hypergraphs
Many of the recent, and more effective, retrieval models have incorporated dependencies between the terms in the query. In this paper, we advance this query representation one st...
Michael Bendersky, W. Bruce Croft
MSS
2000
IEEE
72views Hardware» more  MSS 2000»
14 years 2 days ago
The InTENsity PowerWall: A Case Study for a Shared File System Testing Framework
The InTENsity PowerWall is a display system used for high-resolution visualization of very large volumetric data sets. The display is linked to two separate computing environments...
Alex W. Elder, Thomas Ruwart, Benjamin D. Allen, A...