Transactions on Computational Science XV [electronic resource] : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Cong-Vinh Phan.
Material type:
TextLanguage: English Series: Lecture Notes in Computer Science ; 7050Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Description: 1 online resource (XIII, 217 p.)ISBN: - 9783642285257
| Item type | Current library | Call number | Materials specified | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
|
|
National Library of India | Available | EBK000023346ENG |
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.
There are no comments on this title.
