The Call for Chapters of the book, entitled " Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification", is now available online at the following websites:

1. http://www.igi-global.com/requests/details.asp?ID=699
2. http://www.perada.eu/calls-for-papers/36-journals-special-issues-book-chapters/93-formal-practical-aspects-autonomic-computing-networking-cfp
3. http://phanvc.googlepages.com/callsforcontributions

This publication, edited by Dr. Phan Cong-Vinh, is anticipated to be released in late 2010 by IGI Global.

In order to strengthen the overall quality of this important publication, the following featured experts in industry and academia worldwide, whose research records are really impressive, have accepted my invitations to join an Editorial Advisory Board for this valuable reference (the EAB list is ordered by last names):

1. Dr. Costin Badica, University of Craiova, Romania
2. Dr. Radu Calinescu, University of Oxford, UK
3. Prof. Chin-Chen Chang, Feng Chia University, Taiwan
4. Prof. Mieso Denko, University of Guelph, Canada
   
5. Prof. Petre Dini, Cisco Systems, USA/ Concordia University, Canada
6. Prof. Alois Ferscha, Johannes Kepler University Linz, Austria
7. Prof. Jianhua Ma, Hosei University, Japan
8. Prof. Jong Hyuk Park, Seoul National University of Technology, R.O.Korea
   
9. Dr. Emil Vassev, University College Dublin, Ireland
10. Prof. Fatos Xhafa, Universitat Politècnica de Catalunya, Spain
11. Prof. Huibiao Zhu, East China Normal University, China

This aims to assure that the scientific quality of the book is of international standard.

CALL FOR BOOK CHAPTERs ... now open!

Proposals Submission Deadline: October 30, 2009
Full Chapters Due: January 30, 2010

Book Title: Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification

Publisher: IGI Global, Pennsylvania, USA

Book Editor: Phan Cong-Vinh

CALL FOR BOOK CHAPTERS ... now open!

Proposals Submission Deadline: October 30, 2009
Full Chapters Due: March 30, 2010

• Book Title: Autonomic Networking-on-Chip: Bio-inspired Specification, Development, and Verification
  
  
  Publisher: Taylor & Francis/CRC Press, Florida, USA
  
  Book Editor: Phan Cong-Vinh
  to be published as a volume of
  Book Series: Embedded Multi-Core Systems
  Series Editors: Fayez Gebali and Haytham Elmiligi. IMS Research Group, University of Victoria, Victoria, BC, Canada
  
  
  

Authored Book -- Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing

ISBN-10: 3639121112
ISBN-13: 978-3639121117
Paperback: 236 p. and 89 illus.

The book is now available worldwide at

1. amazon.com
2. amazon.co.uk
3. amazon.de
4. amazon.co.jp
5. Buchfritze.de
6. BoD (Books on Demand) (€)
7. BoD (Books on Demand) (CHF)
8. Target
9. buecher.de
10. libri.de
11. enagain.ch
12. azur.be
13. bookya.de
14. booky.fi
15. van Stockum
16. buch.de
17. mylugo
18. petlaczasu.sm.pl
19. Buchwelt.de

Book Description:

This monograph breaks fresh ground in dealing with dynamic reconfigurability taking advantage of algebraic and coalgebraic approaches - the firm formal methods applicable to a wide variety of reconfigurable computing systems. Its purpose is to make a formal basis more accessible to researchers, scientists and graduate students as well as practitioners by providing them with state-of-the-art research results and future opportunities and trends. While the dealing with this subject is regularly very mathematical, Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing goes through the theory of algebras and coalgebras straightforwardly, leading the readers to an understanding of what it means to give a rigorous approach to aspects of dynamic reconfigurability. The book is self-contained and there are no requirements other than a knowledge on the major principles of reconfigurable computing systems.

Important features include:

1. A comprehensive reference on reconfigurable computing,
2. State-of-the-art research results created in the field,
3. Illustrative figures enabling easy reading, and
4. Emerging trends and open research problems and issues.

The material is organised into nine chapters addressing the following:

• An algebra of reconfiguration built to model the transformations of a DPGA-based configuration.
• The provable algorithms for partially altering a DPGA-based configuration at runtime without stopping the operation of the whole system.
• A unifying framework of reconfiguration seen as a coalgebraic model, by this way, to bserve the reconfiguration processes using the concept of functional tream derivatives.
• From the combinational properties of reconfiguration, the stream calculus and oinduction applied to classify the arrangements of the transformations of a DPGA-based onfiguration in an expressive, powerful and uniform way.
• Computing based on data flow of flowware considered as a behavioural function in stream alculus to expose the semantics for graphical networks of Register ransfer Level (RTL), and coinduction used to compute such behavioural functions.
• A semantics based on a Partial Order-based Model (POM) for the Register Transfer Level RTL) and, through this semantics, a validation method proposed to est the correctness of an RTL synthesis result.

Table of Contents:

To preview the ToC of the book, click the link here.

Eventually, I also received a free copy of my book. It is really wonderful!!!

The book and author (by Photos)

Conference/Workshop RC Member (in 2009)

• ACIIDS'09 (1st IEEE Asia Conference on Intelligent Information and Database Systems), Dong Hoi City, Quang Binh Province, Vietnam, 1-3 April 2009.

Conference/Workshop PC Member (in 2009):

• CoNeCo'09 (1st IEEE International Workshop on Computer Networks and Communications), Dong Hoi City, Quang Binh Province, Vietnam, 1-3 April 2009.

• ICAS'09 (5th International Conference on Autonomic and Autonomous Systems), Valencia, Spain, 21-25 April 2009.

Categorical Approaches to Models and Behaviors of Autonomic Agent Systems

A new computing paradigm is currently on the spot: interaction based on series of actions. Most of autonomic agent systems (AASs) exploit this type of interaction to self-adjust their autonomous behaviors as a fundamental operational paradigm. At an interaction interface, actions evolve over time, hence series of actions occurs as a royal candidate for modeling, specifying, programming, and verifying AASs. For considering AASs, series of actions and adaptation relations; our formal approach consists, in particular, of categorical models and behaviors such that, firstly, AASs, series of actions and adaptation relations will categorically be modeled to provide algebraic frameworks for development of reasoning on their behaviors and, secondly, categorical behaviors of AASs, series of action and adaptation relations will be investigated and developed taking advantage of their categorical models.

Keywords: Autonomic agent systems, Series of actions, Series of adaptation relations, Self-* computing, Categorical approaches

By Phan Cong-Vinh
Paper title: Categorical Approaches to Models and Behaviors of Autonomic Agent Systems.
Journal title: IJCINI Special Issue on Autonomic Agent Systems.
Vol. 3, No. 1, pp: 17-33, January-March 2009.
Publisher: IGI Global