Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems - Gavrilova, Marina L; Tan, C. J. Kenneth; Phan, Cong-Vinh (Berlin, Heidelberg : Springer Berlin Heidelberg, 2012)
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.
Keywords: Computer science; Computer communication systems; Software engineering; Algorithms; Computer logic; Artificial intelligence; Applied mathematics; Engineering mathematics