Skip to main content
SpringerLink
Log in
Book cover

Transactions on Computational Science XV

Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

  • Book
  • © 2012

Overview

Editors:
  1. Marina L. Gavrilova

    1. Department of Computer Science, University of Calgary, Calgary, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. C. J. Kenneth Tan

    1. Exascala Ltd., Birmingham, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Cong-Vinh Phan

    1. NTT University, Ho Chi Minh City, Vietnam

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Focuses on recent advances in autonomic computing
  • Addresses various problems related to formal engineering methods for nature-inspired computing systems
  • Of interest to computer scientists and computer engineers, including developers and practitioners in computing and networking systems design

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7050)

Part of the book sub series: Transactions on Computational Science (TCOMPUTATSCIE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Download chapter PDF

  2. Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks

    • Arun Prakash, Zoltán Theisz, Ranganai Chaparadza
    Pages 1-48

  3. Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks

    • Cem Şafak Şahin, M. Ümit Uyar, Stephen Gundry, Elkin Urrea
    Pages 49-73

  4. Data Intensive Distributed Computing in Data Aware Self-organizing Networks

    • Cong-Vinh Phan
    Pages 74-107

  5. Accelerated Evolution: A Biologically-Inspired Approach for Augmenting Self-star Properties in Wireless Sensor Networks

    • Pruet Boonma, Junichi Suzuki
    Pages 108-129

  6. Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL

    • Emil Vassev, Serguei A. Mokhov
    Pages 130-157

  7. Autonomic Nature-Inspired Eco-systems

    • Antonio Manzalini, Nermin Brgulja, Corrado Moiso, Roberto Minerva
    Pages 158-191

  8. A Logical Approach to Data-Aware Automated Sequence Generation

    • Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Rudy Deca
    Pages 192-216

  9. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. The 15th issue of the Transactions on Computational Science journal, edited by Cong-Vinh Phan, contains six invited papers on autonomic computing, with a special focus on formal engineering methods for nature-inspired computing systems. The papers give an in-depth overview of the area and a comprehensive evaluation of various methodologies for autonomic computing.

Editors and Affiliations

  • Department of Computer Science, University of Calgary, Calgary, Canada

    Marina L. Gavrilova

  • Exascala Ltd., Birmingham, UK

    C. J. Kenneth Tan

  • NTT University, Ho Chi Minh City, Vietnam

    Cong-Vinh Phan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation