Formal and practical aspects of autonomic computing and networking : specification, development, and verification / [edited by] Phan Cong-Vinh.
"Autonomic computing and networking (ACN), a concept inspired by the human autonomic system, is a priority research area and a booming new paradigm in the field.Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification outlines the characte...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Ebook |
| Language: | English |
| Published: |
Hershey, PA :
Information Science Reference,
c2012.
|
| Subjects: | |
| Online Access: | IGI Global e-Book Collection |
| Summary: | "Autonomic computing and networking (ACN), a concept inspired by the human autonomic system, is a priority research area and a booming new paradigm in the field.Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with ACN. The goal of ACN and the topics covered in this work include making networks and computers more self-organized, self- configured, self-healing, self-optimizing, self-protecting, and more. This book helpfully details the steps necessary towards realizing computer and network autonomy and its implications."--Publisher's website. |
|---|---|
| Item Description: | "Premier reference source"--Cover. |
| Physical Description: | 1 electronic document (.) |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 128332038X 1466605367 1609608461 9781283320382 9781466605367 9781609608460 |