Welcome to the InfoSci Platform
Indices1
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

Phan Cong-Vinh
Copyright: © 2012 |Pages: 367
ISBN13: 9781609608453|ISBN10: 1609608453|EISBN13: 9781609608460
DOI: 10.4018/978-1-60960-845-3
Cite Book Cite Book

MLA

Cong-Vinh, Phan, editor. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification. IGI Global, 2012. https://doi.org/10.4018/978-1-60960-845-3

APA

Cong-Vinh, P. (Ed.). (2012). Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification. IGI Global. https://doi.org/10.4018/978-1-60960-845-3

Chicago

Cong-Vinh, Phan, ed. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-60960-845-3

Export Reference

Mendeley
Favorite Full-Book Download

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.

Table of Contents

Reset
Front Materials
PDFHTML
Title Page
This content has been removed at the discretion of the publisher and the editors.
PDFHTML
Copyright Page
This content has been removed at the discretion of the publisher and the editors.
PDFHTML
Editorial Advisory Board
This content has been removed at the discretion of the publisher and the editors.
PDFHTML
Foreword
This content has been removed at the discretion of the publisher and the editors.
PDFHTML
Preface
This content has been removed at the discretion of the publisher and the editors.
Chapters
PDFHTML
Formal and Practical Aspects of Autonomic Computing
This content has been removed at the discretion of the publisher and the editors.
PDFHTML
Formal and Practical Aspects of Autonomic Networking
This content has been removed at the discretion of the publisher and the editors.
Back Materials
PDFHTML
About the Contributors
This content has been removed at the discretion of the publisher and the editors.
PDFHTML
Index
This content has been removed at the discretion of the publisher and the editors.
View All Books

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.