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
_______________________________________________
Tccc mailing list
Tccc@lists.cs.columbia.edu
https://lists.cs.columbia.edu/cucslists/listinfo/tccc
Posts
No comments:
Post a Comment