Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Gavrilova, Marina L. (Editor), Tan, C. J. Kenneth (Editor), Phan, Cong-Vinh (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Lecture Notes in Computer Science, 7050
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Algorithms.; Computer logic.; Artificial intelligence.; Applied mathematics.; Engineering mathematics.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Artificial Intelligence (incl. Robotics).; Appl.Mathematics/Computational Methods of Engineering.; Computer Communication Networks.

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-qual...

Table of Contents:

• Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks
• Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks
• Data Intensive Distributed Computing in Data Aware Self-organizing Networks
• Accelerated Evolution: A Biologically-Inspired Approach for Augmenting Self-star Properties in Wireless Sensor Networks
• Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study
• Autonomic Nature-Inspired Eco-systems
• A Logical Approach to Data-Aware Automated Sequence Generation.