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 already
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 computer
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: phanvc.googlepages.com
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