CALL FOR BOOK CHAPTERS

Book Title:
FORMAL AND PRACTICAL ASPECTS OF AUTONOMIC COMPUTING AND NETWORKING: SPECIFICATION, DEVELOPMENT AND VERIFICATION

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

A book edited by Phan Cong-Vinh
Centre for Applied Formal Methods
London South Bank University, United Kingdom.


To be published by IGI Global: http://www.igi-global.com/requests/details.asp?ID=699


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 self-organization, self- configuration, self-healing, self-optimization, self-protection and so on whose context-awareness 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 will 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.


OBJECTIVE OF THE BOOK

The proposed book is preferred to be a reference material for readers who al- ready have a basic understanding of ACN and are now ready to know how to specify, develop and verify ACN using rigorous approaches. Hence, theoretical contributions are welcome provided their relevance for how to specify, develop and verify ACN is clear. Reports on applications are welcome provided their formal basis is evident. For keeping a reasonable trade-off between theoretical and practical issues, a careful selection of the chapters will be done, 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 self-contained book.

Formal and practical aspects will be preferably presented in a straightforward fashion by discussing in detail the necessary components and briefly touching on the more advanced components. Therefore, specification, development and verification demonstrating how to use the formal methods for ACN will be described by sound judgments and reasonable justifications.


TARGET AUDIENCE

The book is written for researchers, scientists, professionals and students in com- puter science and computer engineering as well as developers and practitioners in computing and networking systems design.


RECOMMENDED TOPICS

Topics of interest range from specification to implementation for ANC systems based on rigorous approaches in which theoretical contributions should be formally stated and justified, and practical applications should be based on their firm formal basis.

Recommended topics of the book include, but are not limited to, the following.

• Rigorous interdisciplinary approaches to

– Software architectures for ACN
– Resource sharing in ACN
– Autonomic middleware
– Swarm intelligence in ACN
– Security and trust in ACN
– Self-* in ACN
– ACN test-beds
– Architectures and topologies for ACN
– ACN and autonomic communications
– Bio-inspired ACN
– ACN for cognitive networks
– ACN for P2P, Grid, ad hoc and sensor networks
– ACN for storage and caching systems
– ACN for multi-agent systems
– ACN for active and programmable networks

• Calculi for reasoning about behavior in ACN

• Methods and tools for ACN design and ACN component design

• Applications of formal methods in ACN development

• Semantic technologies for ACN

• Formal methods for domain-specific ACN

• Formalizing languages that enable ACN

• Validation and Verification techniques for ACN

The list is not restrictive - contributing authors are encouraged to contact the editor before submitting a chapter proposal to determine whether the proposed submission is within the scope of this book.


SUBMISSION PROCEDURE

Potential contributors are invited to submit on or before September 30, 2009 a 2-3 page chapter proposal clearly explaining the mission and concerns of their proposed chapter. Contributors of accepted proposals will be notified by October 15, 2009 regarding the status of their proposals and sent chapter guidelines. Full chapters are expected to be submitted by January 30, 2010. All submitted chapters will be reviewed on a double-blind review basis. Contributors may also be requested to serve as reviewers for this book project.


PUBLISHER

This book is scheduled to be published by IGI Global (formerly Idea Group Inc.), publisher of the “Information Science Reference” (formerly Idea Group Reference), “Medical Information Science Reference” and “IGI Publishing” imprints. For additional information regarding the publisher, please visit www.igi- global.com. This publication is anticipated to be released in the 3rd quarter of 2010.


IMPORTANT DATES

• September 30, 2009: Proposals Submission Deadline

• October 15, 2009: Proposals Acceptance Notification

• January 30, 2010: Full Chapters Submission

• April 15, 2010: Review Results Returned

• May 15, 2010: Revised Chapters Submission

• May 30, 2010: Final Acceptance Notification

• June 15, 2010: Submission of Final Chapters

• July 30, 2010: Final deadline


Inquiries and submissions can be forwarded electronically to:

Phan Cong-Vinh
PhD in Computing
Centre for Applied Formal Methods
London South Bank University
103 Borough Road, London SE1 0AA, United Kingdom
Email: phanvc@ieee.org
URL: http://phanvc.googlepages.com
Tel: +44 (0)20 7815 7462 • Fax: +44 (0)20 7815 7793