1268 search results - page 118 / 254 » Verifying distributed systems: the operational approach |
PDP
2007
IEEE
15 years 4 months ago
2007
IEEE
In the process of developing P2P systems simulation has proved to be an essential tool for the evaluation of existing and conceived P2P systems. So far, in practice there has been...
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
CLUSTER
2007
IEEE
15 years 4 months ago
2007
IEEE
— The thermal environment of data centers plays a significant role in affecting the energy efficiency and the reliability of data center operation. A dominant problem associate...
HOTOS
1999
IEEE
15 years 2 months ago
1999
IEEE
Wide-area distributed applications are frequently limited by the performance of Internet data transfer. We argue that the principle cause of this effect is the poor interaction be...
FGCS
2010
14 years 8 months ago
2010
In a distributed system where scalability is an issue, like in a GRID [5], the problem of enforcing mutual exclusion often arises in a soft form: the infrequent failure of the mut...