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

£195.00

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

Artificial intelligence

Dinosaur mascot

Language: English

Published by: Information Science Reference

Published on: 31st October 2011

Format: LCP-protected ePub

Size: 47 Mb

ISBN: 9781466605367


Autonomic Computing and Networking (ACN)

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.

About the Book

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.

Goals and Topics

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.

Show moreShow less