Formal and practical aspects of autonomic computing and networking : specification, development, and verification

1. Formal methods for the development and verification of autonomic IT systems / Radu Calinescu, Shinji Kikuchi and Marta Kwiatkowska -- 2. Theoretical and practical aspects of developing autonomic systems with ASSL / Emil Vassev -- 3. Specification, development, and verification of CASCADAS autonomic computing and networking toolkit / Antonio Manzalini ... [et al.] -- 4. Swarm intelligence in autonomic computing: the particle swarm optimization case / Christos Anagnostopoulos and Stathes Hadjiefthymiades -- 5. Autonomic computing: a fuzzy control approach towards application development / Harish S. Venkatarama and Kandasamy Chandra Sekaran -- 6. Genetic programming for system identification / Lavinia Ferariu and Alina Patelli -- 7. Formal specification and verification of self-configuring P2P networking: a case study in mobile environments / Phan Cong-Vinh -- 8. Logical methods for self-configuration of network devices / Sylvain Hallé, Roger Villemaire and Omar Cherkaoui -- 9. Bio-inspired techniques for topology control of mobile nodes / Cem Safak Sahin, Elkin Urrea and M. Umit Uyar -- 10. Niche: a platform for self-managing distributed applications / Vladimir Vlassov ... [et al.] -- 11. A guideline for realizing the vision of autonomic networking: implementing self-adaptive routing on top of OSPF / Gábor Rétvári ... [et al.] -- 12. Network-aided session management for adaptive context-aware multiparty communications / Josephina Antoniou ... [et al.] -- 13. On using multiagent systems for spectrum sharing in cognitive radios networks / Usama Mir, Leila Merghem-Boulahia and Dominique Gai͏̈ti