Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems /

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-qual...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Phan, Cong-Vinh (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Transactions on Computational Science, 7050
Temas:
Software engineering.
Computer science.
Algorithms.
Artificial intelligence.
Engineering mathematics.
Engineering-Data processing.
Computer networks .
Software Engineering.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Mathematical and Computational Engineering Applications.
Computer Communication Networks.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares