9110 search results - page 1719 / 1822 » Formally-Based Design Evaluation |
136
Voted
ASPLOS
2004
ACM
15 years 8 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...
132
click to vote
DOCENG
2004
ACM
15 years 8 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...
132
click to vote
IMC
2004
ACM
15 years 8 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...
135
Voted
ISSTA
2004
ACM
15 years 8 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...
126
Voted
JCDL
2004
ACM
15 years 8 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 ...