Minyoung Kim, Mark-Oliver Stehr, Ashish Gehani, Carolyn L. Talcott. Ensuring Security and Availability through Model-Based Cross-Layer Adaptation. In Ching-Hsien Hsu, Laurence Tianruo Yang, Jianhua Ma, Chunsheng Zhu, editors, Ubiquitous Intelligence and Computing - 8th International Conference, UIC 2011, Banff, Canada, September 2-4, 2011. Proceedings. Volume 6905 of Lecture Notes in Computer Science, pages 310-325, Springer, 2011. [doi]
Abstract is missing.