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 376
- Downloads 0
Design guidelines for rapid and simple context-aware mobile application development – an android case study
Presenting a context-aware service and information is a key aspect of ubiquitous computing, but development of such applications is quite complicated. Context-aware applications should be able to obtain raw data fromsens...
Enrichment of Multi-criteria Communities for Context-aware Recommendations
Recommender systems are designed to help users alleviate the information overload problem by offering personalized recommendations. Most systems apply collaborative filtering to predict individual preferences based on op...
Hybrid Algorithms of Whale optimization algorithm and k-nearest neighbor to Predict the liver disease
Liver Disease is one of the most common diseases which can be prevented by early diagnosis and up-todate treatment. Advances in machine learning and intelligence techniques have led to the effective diagnosis and predicti...
Best-Response Distributed Subchannel Selection for Minimizing Interference in Femtocell Networks}
We study a distributed channel allocation problem of non-cooperative OFDMA femtocells in two-tiered macro-femto networks. The objective is to maximize the total capacity of uplink macro users and femto users. We assume a...
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...