
Formal and Practical Aspects of Autonomic Computing and Networking
Specification, Development, and Verification
Phan Cong-Vinh(Editor)
IGI Global (Publisher)
Published on 31. October 2011
Book
Hardback
446 pages
978-1-60960-845-3 (ISBN)
Description
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.
More details
Language
English
Place of publication
Hershey
United States
Dimensions
Height: 286 mm
Width: 221 mm
Thickness: 28 mm
Weight
1374 gr
ISBN-13
978-1-60960-845-3 (9781609608453)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification