Potential formal models for autonomic computing applications.

Todor Stoilov Krasimira Stoilova

Published in: CompSysTech (2010)

Keyphrases

formal models
autonomic computing
computing systems
formal model
rule based systems
process model
autonomic computing systems
grid computing
real time
information systems
distributed systems
distributed environment
multi user