Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
Download or Read eBook Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification PDF written by Cong-Vinh, Phan and published by IGI Global. This book was released on 2011-10-31 with total page 445 pages. Available in PDF, EPUB and Kindle.
| Author | : Cong-Vinh, Phan |
| Publisher | : IGI Global |
| Total Pages | : 445 |
| Release | : 2011-10-31 |
| ISBN-10 | : 9781609608460 |
| ISBN-13 | : 1609608461 |
| Rating | : 4/5 (60 Downloads) |
Book Synopsis Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification by : Cong-Vinh, Phan
Book excerpt: 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.
