3 search results - page 1 / 1 » A Fresh Look at Testing for Asynchronous Communication |
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
ASIAN
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
SIGDOC
2000
ACM
13 years 8 months ago
2000
ACM
: Standard formats, familiar word choices, consistency, organization, simple graphic formats, technology, mechanics, and the global nature of the user and the media are major consi...