2463 search results - page 402 / 493 » On the Study of Dynamic and Adaptive Dependable Distributed ... |
209
click to vote
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE
Grid computing is becoming a mainstream technology for large-scale distributed resource sharing and system integration. Workflow management is emerging as one of the most importan...
176
click to vote
CMSB
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
185
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo...
191
Voted
SPAA
1994
ACM
15 years 10 months ago
1994
ACM
We analyze the performance of greedy routing for array networks by providing bounds on the average delay and the average number of packets in the system for the dynamic routing pr...
146
Voted
CLUSTER
2007
IEEE
16 years 13 days ago
2007
IEEE
— The concept of Remote Procedure Call (RPC) was proposed more than 30 years ago. Although various RPC systems have been studied and implemented, the existing RPC systems lack ma...