126 search results - page 26 / 26 » A Model Checking Approach to Protocol Conversion |
121
click to vote
EUROSYS
2006
ACM
16 years 10 days ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...