Safe Runtime Validation of Behavioral Adaptations in Autonomic Software

Tariq M. King, Andrew A. Allen, Rodolfo Cruz, Peter J. Clarke. Safe Runtime Validation of Behavioral Adaptations in Autonomic Software. In Jose M. Alcaraz Calero, Laurence Tianruo Yang, Félix Gómez Mármol, Luis Javier García-Villalba, Andy Xiaolin Li, Yan Wang 0002, editors, Autonomic and Trusted Computing - 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings. Volume 6906 of Lecture Notes in Computer Science, pages 31-46, Springer, 2011. [doi]

Abstract

Abstract is missing.