1890 search results - page 336 / 378 » Model-Based Testing in Practice |
120
click to vote
SOSP
2007
ACM
15 years 10 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 ...
113
click to vote
SOSP
2009
ACM
15 years 10 months ago
2009
ACM
Bugs in kernel extensions remain one of the main causes of poor operating system reliability despite proposed techniques that isolate extensions in separate protection domains to ...
104
click to vote
SENSYS
2009
ACM
15 years 8 months ago
2009
ACM
Network protocols are typically designed and tested individually. In practice, however, applications use multiple protocols concurrently. This discrepancy can lead to failures fro...
136
click to vote
ICAC
2009
IEEE
15 years 8 months ago
2009
IEEE
The complexity of large computer systems has raised unprecedented challenges for system management. In practice, operators often collect large volume of monitoring data from system...
123
click to vote
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—While it is a well known result that network coding achieves optimal flow rates in multicast sessions, its potential for practical use has remained to be a question, due to its...