Sciweavers

5570 search results - page 823 / 1114
» Applications of Fair Testing
Sort
View
HPCA
2005
IEEE
16 years 7 months ago
SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs
Memory leaks and memory corruption are two major forms of software bugs that severely threaten system availability and security. According to the US-CERT Vulnerability Notes Datab...
Feng Qin, Shan Lu, Yuanyuan Zhou
CHI
2004
ACM
16 years 7 months ago
Science at the Speed of Thought
Abstract. In this paper we describe a virtual laboratory that is designed to accelerate scientific exploration and discovery by minimizing the time between the generation of a scie...
Judith Ellen Devaney, Steven G. Satterfield, John ...
CHI
2004
ACM
16 years 7 months ago
Sharp or smooth?: comparing the effects of quantization vs. frame rate for streamed video
We introduce a new methodology to evaluate the perceived quality of video with variable physical quality. The methodology is then used to assess an existing guideline that high fr...
John D. McCarthy, Martina Angela Sasse, Dimitrios ...
CHI
2002
ACM
16 years 7 months ago
Cognitive walkthrough for the web
This paper proposes a transformation of the Cognitive Walkthrough (CW), a theory-based usability inspection method that has proven useful in designing applications that support us...
Marilyn Hughes Blackmon, Peter G. Polson, Muneo Ki...
POPL
2008
ACM
16 years 7 months ago
A theory of contracts for web services
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
Giuseppe Castagna, Nils Gesbert, Luca Padovani