Beschreibung
InhaltsangabeFormal 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.