Mechanism Design for SLA

Mechanism design: The design of an interaction, in which being truthful is the dominant strategy.

The output of the Queueing Model should be in the form of (required bandwidth, probability) and (available bandwidth, probability), which translates to the SLA. Now the question is, what are the values that needs to be truthful?

Next steps, read Manzoor's paper. MAnzoor makes a short state of the art.