Towards Specifying Reactive Autonomic Systems With a Categorical Approach: A Case Study

Studies in Computational Intelligence- Germany

doi 10.1007/978-3-642-05441-9_11

Full Text

Abstract

Available in

Categories

Artificial Intelligence

Date

January 1, 2009

Authors

Olga Ormandjieva

Noorulain Khurshid

Publisher

Springer Berlin Heidelberg

Related search

Towards a Systematic Approach for Designing Autonomic Systems

Web Intelligence and Agent Systems: An International Journal

English

A Software Architecture Approach for Structuring Autonomic Systems

English

The Green School: A Sustainable Approach Towards Environmental Education: Case Study

Brazilian Journal of Science and Technology

English

A Formal Framework for Specifying Concurrent Systems

International Journal of Computer Applications

English

Towards Industrial Intrusion Prevention Systems: A Concept and Implementation for Reactive Protection

Applied Sciences (Switzerland)

Instrumentation

Materials Science

Computer Science Applications

Process Chemistry

Transfer Processes

English

Specifying and Verifying Systems With Multiple Clocks

English

Towards a Novel Analysis Approach for Collaborative Ubiquitous Systems

English

A Complex Systems Framework Approach Towards Multidisciplinary Tumor Boards

English

A Reactive Element Approach to Improve Fracture Healing in Metallic Systems

Frontiers in Materials

Materials Science

English