1762 search results - page 165 / 353 » Brahms: simulating practice for work systems design |
176
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
This paper describes the design, implementation, and evaluation of a replication scheme to handle Byzantine faults in transaction processing database systems. The scheme compares ...
174
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
216
click to vote
ISARCS
2010
15 years 8 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
194
click to vote
USENIX
1993
15 years 7 months ago
1993
In teaching operating systems at an undergraduate level, we believe that it is important to provide a project that is realistic enough to show how real operating systems work, yet...
142
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a comprehensive report of our work in the design and implementation of systems that combine holography with haptic feedback. Two separate holo-haptic systems are descri...