By Topic

A Self-Reflection Model for Autonomic Computing Systems Based on p-Calculus

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Huiqiang Wang ; Coll. of Comput. Sci. & Technol., Harbin Eng. Univ., Harbin, China ; Hongwu Lv ; Guangsheng Feng

Autonomic computing has emerged as a paradigm for distributed computing systems to stem the tide of rapidly increasing complexity and evolution problem. In this paper, a two-layer self-reflection model for Autonomic Computing systems (ACs) based on pi-calculus is proposed from a theoretical point of view, which integrates self-awareness and context-awareness into a single model and provides a formal, verifiable basis for the development and further studies of ACs. According to the hierarchical structure, it does not only reduce the latency time of self-awareness in local domain but also gives consideration to the overall objectives of the system. In addition, the model is checked by MWB.

Published in:

Network and System Security, 2009. NSS '09. Third International Conference on

Date of Conference:

19-21 Oct. 2009