Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Denis Gracanin. Towards Formal Specification and Generation of Autonomic Policies. In Tomoya Enokido, Lu Yan, Bin Xiao, Daeyoung Kim, Yuan-Shun Dai, Laurence Tianruo Yang, editors, Embedded and Ubiquitous Computing - EUC 2005 Workshops, EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005, Proceedings. Volume 3823 of Lecture Notes in Computer Science, pages 1245-1254, Springer, 2005. [doi]
Abstract is missing.