1268 search results - page 213 / 254 » Verifying distributed systems: the operational approach |
PE
2006
Springer
15 years 1 months ago
2006
Springer
This paper proposes a stochastic fluid flow model to compute the transfer time distribution of resources in peer-to-peer file sharing applications. The amount of bytes transferred...
140
click to vote
AISS
2010
14 years 11 months ago
2010
The migration method of a mobile agent affects the entire performance of the distributed system. Most of the existing migration methods have the slow-witted structures due to the ...
126
click to vote
IJACTAICIT
2010
14 years 11 months ago
2010
The migration method of a mobile agent affects the entire performance of the distributed system. Most of the existing migration methods have the slow-witted structures due to the ...
120
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
We have developed an infrastructure for end-to-end run-time monitoring, behavior/performance analysis, and dynamic adaptation of distributed software. This infrastructure is prima...