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
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
Hardcover:
Available
$195.00
Benefits & Incentives
TOTAL SAVINGS: $195.00
Benefits
  • Printed-On-Demand (POD)
  • Usually ships one day from order
Hardcover:
Available
$195.00
Benefits & Incentives
TOTAL SAVINGS: $195.00
Benefits
  • Printed-On-Demand (POD)
  • Usually ships one day from order
E-Book:
Available
$195.00
Benefits & Incentives
TOTAL SAVINGS: $195.00
Benefits
  • Multi-user license (no added fee)
  • Immediate access after purchase
  • No DRM
  • PDF download
E-Book:
Available
$195.00
Benefits & Incentives
TOTAL SAVINGS: $195.00
Benefits
  • Immediate access after purchase
  • No DRM
  • PDF download
  • Receive a 10% Discount on eBooks
Hardcover +
E-Book:
Available
$235.00
Benefits & Incentives
TOTAL SAVINGS: $235.00
Benefits
  • Printed-On-Demand (POD)
  • Usually ships one day from order
  • Multi-user license (no added fee)
  • Immediate access after purchase
  • No DRM
  • PDF download
Hardcover +
E-Book:
Available
$235.00
Benefits & Incentives
TOTAL SAVINGS: $235.00
Benefits
  • Printed-On-Demand (POD)
  • Usually ships one day from order
  • Immediate access after purchase
  • No DRM
  • PDF download
Article Processing Charge:
Available
$700.00
Benefits & Incentives
TOTAL SAVINGS: $700.00
OnDemand:
(Individual Chapters)
Available
$37.50
Benefits & Incentives
TOTAL SAVINGS: $37.50
Benefits
  • Purchase individual chapters from this book
  • Immediate PDF download after purchase or access through your personal library
Effective immediately, IGI Global has discontinued softcover book production. The softcover option is no longer available for direct purchase.
Description & Coverage
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.

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