3130 search results - page 260 / 626 » Design Correctness of Digital Systems |
134
click to vote
IJCAI
1997
15 years 6 months ago
1997
This paper describes QUEM, a method for assessing the skill level of a knowledge-based system based on the quality of the solutions it produces. QUEM is demonstrated by using it t...
128
click to vote
SRDS
2003
IEEE
15 years 10 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
148
click to vote
RAID
2010
Springer
15 years 3 months ago
2010
Springer
Malicious software includes functionality designed to block discovery or analysis by defensive utilities. To prevent correct attribution of undesirable behaviors to the malware, it...
132
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
We introduce a new reliability infrastructure for file systems called I/O shepherding. I/O shepherding allows a file system developer to craft nuanced reliability policies to de...
145
Voted
CHI
2005
ACM
16 years 5 months ago
2005
ACM
The ECHOES project (Encouraging Companionship, Home Organization, and Entertainment in Seniors), is focused on understanding and improving aspects of companionship in senior popul...