A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware.

Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha

Browse the full FM paper archive.