Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Availability Pilegaard Hansen Sharp 02<br />
Clients C1, C2, . . . exchange messages with a server S<br />
C1<br />
.<br />
Cn<br />
.<br />
Ci → S : M<br />
S → Ci : M ′<br />
• Good clients i ∈ γ requests δi of the server’s time<br />
• Bad clients j ∈ β waste the server’s time<br />
How to formalize requirements about the availability?<br />
S<br />
Tallinn, November 17- 21, Michael R. Hansen – p.26/29