862 search results - page 150 / 173 » A Framework for Testing Peer-to-Peer Systems |
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
PADS
2005
ACM
14 years 1 months ago
2005
ACM
Parallel and distributed simulations enable the analysis of complex systems by concurrently exploiting the aggregate computation power and memory of clusters of execution units. I...
CD
2005
Springer
14 years 1 months ago
2005
Springer
Recent studies showed potential for using component frameworks for building flexible adaptible applications for deployment in distributed environments. However this approach is h...
JCDL
2004
ACM
14 years 1 months ago
2004
ACM
Information retrieval (IR) functions serve a critical role in many digital library systems. There are numerous mature IR algorithms that have been implemented and it will be a was...
KDD
2004
ACM
14 years 1 months ago
2004
ACM
Detection of space-time clusters is an important function in various domains (e.g., epidemiology and public health). The pioneering work on the spatial scan statistic is often use...