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

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

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  160960847X ISBN 13 :  9781609608477
Editeur : Information Science Reference, 2011
Coffret produits