Formal and Practical Aspects of Autonomic Computing and Networking

Specification, Development, and Verification

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, General Computing, Science & Nature, Technology
Cover of the book Formal and Practical Aspects of Autonomic Computing and Networking by , IGI Global
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9781466605367
Publisher: IGI Global Publication: October 31, 2011
Imprint: Information Science Reference Language: English
Author:
ISBN: 9781466605367
Publisher: IGI Global
Publication: October 31, 2011
Imprint: Information Science Reference
Language: English
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.
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
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 books from IGI Global

Cover of the book Code Generation, Analysis Tools, and Testing for Quality by
Cover of the book Curriculum Development for Gifted Education Programs by
Cover of the book Common Core Mathematics Standards and Implementing Digital Technologies by
Cover of the book Student Activism as a Vehicle for Change on College Campuses by
Cover of the book International Cross-Listing of Chinese Firms by
Cover of the book Managing Enterprise Information Technology Acquisitions by
Cover of the book Handbook of Research on Cross-Cultural Business Education by
Cover of the book Ubiquitous Developments in Ambient Computing and Intelligence by
Cover of the book Contemporary Knowledge and Systems Science by
Cover of the book Key Challenges and Opportunities in Web Entrepreneurship by
Cover of the book Maximizing Commerce and Marketing Strategies through Micro-Blogging by
Cover of the book Laboratory Management Information Systems by
Cover of the book Securing Critical Infrastructures and Critical Control Systems by
Cover of the book Green Finance and Sustainability by
Cover of the book Intelligent Systems by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy