[ecoop-info] Call for Book Chapters on Autonomic Systems (Proposals Submission Deadline: September 30, 2009)

[Phan Cong-Vinh]

[Apologies for multiple postings]


CALL FOR BOOK CHAPTERS

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



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

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 at ieee.org
Tel:  +44 (0)20 7815 7462 • Fax:  +44 (0)20 7815 7793
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20090902/b257716e/attachment-0001.html