[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[compgeom-announce] Call for Book Chapters on Autonomic Computing and Networking (Proposals Submission Deadline: September 30, 2009)
Dear Colleagues,
Please see the CfC as below which may be useful for those who are interested in
Formal Methods for Computing and Networking Systems and like to contribute a
chapter of the book.
Thanks,
--
Phan Cong-Vinh
PhD in Computing
Centre for Applied Formal Methods
London South Bank University
United Kingdom
Email: phanvc@ieee.org
URL: http://phanvc.googlepages.com/
=============
[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@ieee.org
Tel: +44 (0)20 7815 7462 â Fax: +44 (0)20 7815 7793
--
You are currently subscribed to compgeom-announce.
To unsubscribe or access the archives, go to
https://lists-sop.inria.fr/wws/info/compgeom-announce