9110 search results - page 1719 / 1822 » Formally-Based Design Evaluation |
ASPLOS
2004
ACM
14 years 3 months ago
2004
ACM
This paper describes the design, implementation, and evaluation of a Federated Array of Bricks (FAB), a distributed disk array that provides the reliability of traditional enterpr...
DOCENG
2004
ACM
14 years 3 months ago
2004
ACM
Spatial hypertext is an effective medium for the delivery of help and instructional information on the Web. Spatial hypertext’s intrinsic features allow documents to visually re...
IMC
2004
ACM
14 years 3 months ago
2004
ACM
This paper characterizes the query behavior of peers in a peer-topeer (P2P) file sharing system. In contrast to previous work, which provides various aggregate workload statistics...
ISSTA
2004
ACM
14 years 3 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
JCDL
2004
ACM
14 years 3 months ago
2004
ACM
As part of a more extensive study of reading-related practices, we have explored how people share information they encounter in their everyday reading as a complement to the more ...