862 search results - page 41 / 173 » A Framework for Testing Peer-to-Peer Systems |
107
click to vote
CSCWD
2006
Springer
15 years 5 months ago
2006
Springer
The ability to construct dynamic, flexible virtual organizations becomes one of the most desired features of a distributed application system. This paper proposes an agent-mediated...
145
click to vote
MBEES
2008
15 years 3 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
100
click to vote
WSCG
2003
15 years 3 months ago
2003
We present a description of an urban simulation system work in progress. The goal is to create a large-scale immersive simulation of Dublin City that can then be used as a researc...
120
click to vote
FATES
2003
Springer
15 years 7 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
132
click to vote
ICTAC
2010
Springer
15 years 15 days ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...