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.

Coverage:

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 & Statements

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:

Reset

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.

Abstracting & Indexing

Archiving

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 Advisory 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