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 (NTT University, Vietnam)
Indexed In: SCOPUS
Release Date: October, 2011|Copyright: © 2012 |Pages: 367
DOI: 10.4018/978-1-60960-845-3
ISBN13: 9781609608453|ISBN10: 1609608453|EISBN13: 9781609608460
  • Printed-On-Demand (POD)
  • Usually ships one day from order
(Multi-User License)
List Price: $195.00
10% Discount:-$19.50
  • Multi-user license (no added fee)
  • Immediate access after purchase
  • No DRM
  • ePub with PDF download
Hardcover +
(Multi-User License)
  • Printed-On-Demand (POD)
  • Usually ships one day from order
  • Multi-user license (no added fee)
  • Immediate access after purchase
  • No DRM
  • ePub with PDF download
(Individual Chapters)
  • Purchase individual chapters from this book
  • Immediate PDF download after purchase or access through your personal library
Description & Coverage

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.


The many academic areas covered in this publication include, but are not limited to:

  • ACN for Cognitive Networks
  • ACN for Multi-Agent Systems
  • ACN for P2P, Grid, Ad Hoc, and Sensor Networks
  • ACN for Storage and Caching Systems
  • ACN Test-Beds
  • Applications of Formal Methods in ACN Development
  • Formalizing Languages That Enable ACN
  • Security and Trust in ACN
  • Software Architectures for ACN
  • Validation and Verification Techniques for ACN
Reviews and Testimonials

This book will usefully serve as a technical guide and reference material for computer science and computer engineering researchers and scientists as well as designers and developers in computing and networking systems by providing them with state-of-the-art research results and future opportunities and trends. To the best of my knowledge, this is the first book that presents achievements and findings of ACN research covering the full spectrum of formalizing ACN. These make the book unique and, in more than one respect, a truly valuable source of information that may be considered a landmark in the progress of ACN.

– Dr. M. Bakhouya, Aalto University, Finland
Table of Contents
Search this Book:
Editor/Author Biographies
Phan Cong-Vinh received a PhD in computer science from London South Bank University (LSBU) in UK, a BS in mathematics and an MS in computer science from Vietnam National University (VNU) in Ho Chi Minh City, and a BA in English from Hanoi University of Foreign Languages Studies in Vietnam. He finished his PhD dissertation with the title of Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems supervised by Prof. Jonathan P. Bowen at LSBU where he was affiliated with Centre for Applied Formal Methods (CAFM), Institute for Computing Research (ICR). From 1983 to 2000, he was a lecturer in mathematics and computer science at VNU, Posts and Telecommunications Institute of Technology (PTIT) and several other universities in Vietnam before he joined research with Dr. Tomasz Janowski at International Institute for Software Technology (IIST) in Macao SAR, China, as a fellow in 2000. From 2001 to 2010 he did research together with Prof. Jonathan P. Bowen as a research scholar and then collaborative research scientist at CAFM. From January 2011 to May 2011 he worked for FPT - Greenwich collaborative program at FPT University (FU) in Vietnam as a visiting lecturer. From June 2011 to present he has become a member of NTT University (NTTU) to take on the responsibilities of an IT Department’s Deputy Dean. Regarding academic publications, he has been author or co- author of many refereed contributions published in prestigious journals, conference proceedings or edited books. He is the author of a book on computing science titled Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing (2009) and editor of two titles besides the present work, Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification (CRC Press) and Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems (Springer), to be published in 2011 and 2012, respectively. He is also an IEEE member. His research interests center on all aspects of formal methods, autonomic computing and networking, reconfigurable computing, ubiquitous computing, and applied categorical structures in computer science.
Editorial Policy
In order to ensure the highest ethical practices are achieved for each book, IGI Global provides a full document of policies and guidelines that all editors, authors, and reviewers are expected to follow. View Full Editorial Policy
Peer Review Process
The peer review process is the driving force behind all IGI Global books and journals. All IGI Global reviewers maintain the highest ethical standards and each manuscript undergoes a rigorous double-blind peer review process, which is backed by our full membership to the Committee on Publication Ethics (COPE). The full publishing process and peer review are conducted within the IGI Global eEditorial Discovery® online submission system and on average takes 30 days. Learn More
Ethics & Malpractice
IGI Global affirms that ethical publication practices are critical to the successful development of knowledge. Therefore, it is the policy of IGI Global to maintain high ethical standards in all publications. These standards pertain to all books, journals, chapters, and articles accepted for publication. This is in accordance with standard scientific principles and IGI Global’s position as a source of scientific knowledge. Learn More
Abstracting & Indexing
All of IGI Global's content is archived via the CLOCKSS and LOCKSS initiative. Additionally, all IGI Global published content is available in IGI Global's InfoSci® platform.
Editorial Review Board
  • Dr. Costin Badica, University of Craiova, Romania 
  • Dr. Radu Calinescu, University of Oxford, UK 
  • Prof. Chin-Chen Chang, Feng Chia University, Taiwan 
  • Prof. Mieso Denko, University of Guelph, Canada 
  • Prof. Petre Dini, Cisco Systems, USA/ Concordia University, Canada 
  • Prof. Alois Ferscha, Johannes Kepler University Linz, Austria 
  • Prof. Jianhua Ma, Hosei University, Japan 
  • Prof. Jong Hyuk Park, Seoul National University of Technology, R.O. Korea 
  • Dr. Emil Vassev, University College Dublin, Ireland 
  • Prof. Fatos Xhafa, Universitat Politècnica de Catalunya, Spain 
  • Prof. Huibiao Zhu, East China Normal University, China