An Introduction to the Book Titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification”
Journal Title: EAI Endorsed Transactions on Context-aware Systems and Applications - Year 2014, Vol 1, Issue 2
Abstract
Dr. Phan Cong Vinh, Nguyen Tat Thanh University in Vietnam, introduces the book titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification” edited by himself and published by IGI Global in 2011 to scientists, researchers, professionals and students in the field of computing. Hopefully, they will find this book provoking for their research related to autonomics and being useful to their future work. Introduction A new computing and networking paradigm is currently on the spot as one of the priority research areas and its research activities are booming recently: autonomic computing and networking (ACN), which are inspired by the human autonomic nervous system. ACN are characterized by their self-* facets such as selforganization, self- configuration, self-healing, selfoptimization, self-protection and so on whose contextawareness used to dynamically control computing and networking functions. The overarching goal of ACN is to realize computing and networking systems, that can manage themselves without direct human interventions. Meeting this grand challenge of ACN requires a rigorous approach to ACN and the notion of self-*. To this end, taking advantage of formal methods we establish, in this book, formal and practical aspects of ACN through specifying, refining, programming and verifying ACN and their self-*. All of these are to achieve foundations and practice of ACN. From the above characteristics, novel approaches of specification, refinement, programming and verification are arising in formal methods for ACN. Therefore, new methodologies, programming models, tools and techniques are imperative to deal with the impact of ACN and their self-* mentioned above on emerging computing and networking systems. This book [1] is preferred to be a reference material for readers who already have a basic understanding of ACN and are now ready to know how to specify, develop and verify ACN using rigorous approaches. Hence, the book includes both theoretical contributions and reports on applications. For keeping a reasonable trade-off between theoretical and practical issues, a careful selection of the chapters was completed, on the one hand, to cover a broad spectrum of formal and practical aspects and, on the other hand, to achieve as much as possible a selfcontained book.
Authors and Affiliations
Phan Cong Vinh
Keywords
Related Articles
- EP ID EP45747
- DOI http://dx.doi.org/10.4108/casa.1.2.e6
- Views 388
- Downloads 0
Modeling the Connections of Dynamic Sensor Fields Based on BT-Graph
In this article, we propose a new approach to model and optimize the dynamic sensor field for both internal network connections and LEO satellite connection based on BT Graph. Due to the shift of LEO satellite’s orbit at...
To Sense or not to Sense: An Exploratory Study of Privacy, Trust and other related concerns in Personal Sensing Context-aware Applications
Due to increasing proliferation of smart devices, many users store a significant proportion of personal data on them. Thus, personal sensing applications that sense a user’s context via his smart device have significant...
Clustering the objective interestingness measures based on tendency of variation in statistical implications
In recent years, the research cluster of objective interestingness measures has rapidly developed in order to assist users to choose the appropriate measure for their application. Researchers in this field mainly focus o...
Real Time Burning Image Classification Using Support Vector Machine
Burning image classification is critical and attempted problems in medical image processing. This paper has proposed the real time image classification for burning image to automatically identify the degrees of burns in...
Hedge Algebra Approach for Fuzzy Time series To Improve Result Of Time Series Forecasting.
During the recent years, many different methods of using fuzzy time series for forecasting have been published. However, computation in the linguistic environment one term has two parallel semantics, one represented by f...