✦ LIBER ✦

Formal modeling of evolving self-adaptive systems

✍ Scribed by Khakpour, Narges; Jalili, Saeed; Talcott, Carolyn; Sirjani, Marjan; Mousavi, MohammadReza

Book ID: 119366342
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 453 KB
Volume: 78
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2011.09.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Optimization in “self-modeling” complex

Optimization in “self-modeling” complex adaptive systems

✍ Richard A. Watson; C. L. Buckley; Rob Mills 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 283 KB

[Lecture Notes in Computer Science] Assu

[Lecture Notes in Computer Science] Assurances for Self-Adaptive Systems Volume 7740 || Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures

✍ Cámara, Javier; de Lemos, Rogério; Ghezzi, Carlo; Lopes, Antónia 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 746 KB

SELF-ORGANIZATION OF LIVING SYSTEMS: A F

SELF-ORGANIZATION OF LIVING SYSTEMS: A FORMAL MODEL OF AUTOPOIESIS

✍ ZELENY, MILAN 📂 Article 📅 1977 🏛 Taylor and Francis Group 🌐 English ⚖ 820 KB

Introduction to Evolvable Hardware: A Pr

Introduction to Evolvable Hardware: A Practical Guide for Designing Self-Adaptive Systems

✍ Garrison W. Greenwood, Andrew M. Tyrrell 📂 Library 📅 2006 🏛 Wiley-IEEE Press 🌐 English ⚖ 3 MB

Introduction to Evolvable Hardware: A Practical Guide for Designing Self-Adaptive Systems provides a fundamental introduction for engineers, designers, and managers involved in the development of adaptive, high reliability systems. It also introduces the concepts of evolvable hardware (EHW) to new r

Formal Modeling Of Middleware-based Dist

Formal Modeling Of Middleware-based Distributed Systems

✍ Arnab Ray; Rance Cleaveland 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 263 KB

A formalization of membrane systems with

A formalization of membrane systems with dynamically evolving structures

✍ Freund, Rudolf; Pérez-Hurtado, Ignacio; Riscos-Núñez, Agustín; Verlan, Sergey 📂 Article 📅 2013 🏛 Taylor and Francis Group 🌐 English ⚖ 161 KB