Sciweavers

8370 search results - page 654 / 1674
» Challenges in P2P Computing
Sort
View
SPIN
2007
Springer
16 years 1 months ago
Cartesian Partial-Order Reduction
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagi...
TGC
2007
Springer
16 years 1 months ago
Replicating Web Services for Scalability
Web service instances are often replicated to allow service provision to scale to support larger population sizes of users. However, such systems are difficult to analyse because t...
Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mi...
ACSC
2006
IEEE
16 years 1 months ago
Identifying refactoring opportunities by identifying dependency cycles
The purpose of refactoring is to improve the quality of a software system by changing its internal design so that it is easier to understand or modify, or less prone to errors and...
Hayden Melton, Ewan D. Tempero
AINA
2006
IEEE
16 years 1 months ago
Autonomic Network-layer Multicast Service Towards Consistent Service Quality
In spite of significant work on real-time content distribution, providing consistent service quality across the Internet remains a challenge. Multicast applications further exace...
Björn Brynjúlfsson, Gísli Hj&aa...
CCGRID
2006
IEEE
16 years 1 months ago
Uniform Job Monitoring using the HPC-Europa Single Point of Access
—Job monitoring in Grid systems presents an important challenge due to Grid environments are volatile, heterogeneous, not reliable and are managed by different middlewares and mo...
Francesc Guim, Ivan Rodero, Julita Corbalán...