Transactions on Computational Science XV  Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems /  [electronic resource] : 
edited by Marina L. Gavrilova, C. J. Kenneth Tan, Cong-Vinh Phan. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2012. 
 - 1 online resource (XIII, 217 p.) 
 - Lecture Notes in Computer Science,  7050  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642285257 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Software engineering.<br/>Algorithms.<br/>Computer logic.<br/>Artificial intelligence.<br/>Applied mathematics.<br/>Engineering mathematics.