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

• Corporate Author: IGI Global.
• Other Authors: Cong-Vinh, Phan.
• Format: Electronic
• Language: English
• Published: Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), 2011.
• Subjects: Autonomic computing.; Computer networks.; Formal methods (Computer science); ACN; Cognitive networks; Multi-agent systems; Sensor networks; Storage and caching systems; ACN test-beds; Formalizing languages; Security and trust; Software architectures; Validation and verification techniques
• Online Access: Chapter PDFs via platform:

"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher.

Table of Contents:

• 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 Gaïti.