Formal Methods for Quality of Service Analysis in Component-Based Distributed Computing

Chunmin Yang, Barrett R. Bryant, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston. Formal Methods for Quality of Service Analysis in Component-Based Distributed Computing. Transactions of the SDPS, 8(2):137-149, 2004. [doi]

Authors

Chunmin Yang

This author has not been identified. Look up 'Chunmin Yang' in Google

Barrett R. Bryant

This author has not been identified. It may be one of the following persons: Look up 'Barrett R. Bryant' in Google

Carol C. Burt

This author has not been identified. Look up 'Carol C. Burt' in Google

Rajeev R. Raje

This author has not been identified. Look up 'Rajeev R. Raje' in Google

Andrew M. Olson

This author has not been identified. Look up 'Andrew M. Olson' in Google

Mikhail Auguston

This author has not been identified. Look up 'Mikhail Auguston' in Google