TY  - BOOK
AU  - Gavrilova,Marina L
AU  - Tan,C.J.Kenneth
AU  - Phan,Cong-Vinh
TI  - Transactions on Computational Science XV: Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems 
SN  - 9783642285257
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer communication systems
KW  - Software engineering
KW  - Algorithms
KW  - Computer logic
KW  - Artificial intelligence
KW  - Applied mathematics
KW  - Engineering mathematics
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-28525-7
ER  -