Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification

Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
Author :
Publisher : IGI Global
Total Pages : 445
Release :
ISBN-10 : 9781609608460
ISBN-13 : 1609608461
Rating : 4/5 (461 Downloads)

Book Synopsis Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification by : Cong-Vinh, Phan

Download or read book Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification 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. 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.


Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification Related Books

Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
Language: en
Pages: 445
Authors: Cong-Vinh, Phan
Categories: Computers
Type: BOOK - Published: 2011-10-31 - Publisher: IGI Global

DOWNLOAD EBOOK

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.
Autonomic Networking-on-Chip
Language: en
Pages: 286
Authors: Phan Cong-Vinh
Categories: Computers
Type: BOOK - Published: 2018-09-03 - Publisher: CRC Press

DOWNLOAD EBOOK

Despite the growing mainstream importance and unique advantages of autonomic networking-on-chip (ANoC) technology, Autonomic Networking-On-Chip: Bio-Inspired Sp
Transactions on Computational Science XV
Language: en
Pages: 228
Authors: Cong-Vinh Phan
Categories: Computers
Type: BOOK - Published: 2012-02-21 - Publisher: Springer

DOWNLOAD EBOOK

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere an
Autonomic Intelligence Evolved Cooperative Networking
Language: en
Pages: 349
Authors: Michal Wodczak
Categories: Technology & Engineering
Type: BOOK - Published: 2018-02-28 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Autonomic Intelligence Evolved Cooperative Networking offers a comprehensive advancement of the state-of-the art technological developments in the fields of Coo
Foundations of Computer Software
Language: en
Pages: 249
Authors: Radu Calinescu
Categories: Computers
Type: BOOK - Published: 2011-05-27 - Publisher: Springer

DOWNLOAD EBOOK

This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. T