Cover Image

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

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

Bibliographic Details
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:
LEADER 03922nam a2200565 a 4500
001 19345
003 IGIG
005 20111128142843.0
006 m e d
007 cr bn||||m|||a
008 111119s2011 pau fsb 000 0 eng d
010 # # |z 2011025143 
020 # # |a 9781609608460 (ebook) 
020 # # |z 9781609608453 (hardcover) 
020 # # |z 9781609608477 (print & perpetual access) 
024 7 # |a 10.4018/978-1-60960-845-3  |2 doi 
035 # # |a (CaBNVSL)gtp00550220 
035 # # |a (OCoLC)764497784 
040 # # |a CaBNVSL  |c CaBNVSL  |d CaBNVSL 
050 # 4 |a QA76.9.A97  |b F67 2011e 
082 0 4 |a 004  |2 23 
245 0 0 |a Formal and practical aspects of autonomic computing and networking  |b specification, development, and verification /  |c Phan Cong-Vinh, editor.  |h [electronic resource] : 
260 # # |a Hershey, Pa. :  |b IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),  |c 2011. 
300 # # |a electronic texts (415 p.) :  |b digital files. 
504 # # |a Includes bibliographical references. 
505 0 # |a 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. 
506 # # |a Restricted to subscribers or individual electronic text purchasers. 
520 3 # |a "This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher. 
530 # # |a Also available in print. 
538 # # |a Mode of access: World Wide Web. 
588 # # |a Description based on title screen (IGI Global, viewed November 19, 2011). 
650 # 0 |a Autonomic computing. 
650 # 0 |a Computer networks. 
650 # 0 |a Formal methods (Computer science) 
653 # # |a ACN 
653 # # |a Cognitive networks 
653 # # |a Multi-agent systems 
653 # # |a Sensor networks 
653 # # |a Storage and caching systems 
653 # # |a ACN test-beds 
653 # # |a Formalizing languages 
653 # # |a Security and trust 
653 # # |a Software architectures 
653 # # |a Validation and verification techniques 
700 1 # |a Cong-Vinh, Phan. 
710 2 # |a IGI Global. 
776 0 # |c (Original)  |w (DLC)2011025143 
776 0 8 |i Print version:  |w (DLC) 2011025143  |z 9781609608453  |z 1609608453 
856 4 1 |u https://ezaccess.library.uitm.edu.my/login?url=http://services.igi-global.com/resolve  |3 Chapter PDFs via platform: 

Similar Items