Towards gcm re-configuration - extending specification by norms.

Alessandro Basso Alexander Bolotov

Published in: CoreGRID Workshop - Making Grids Work (2007)

Keyphrases

real time
cooperative
multi agent systems
formal specification
optimal configuration
configuration problems
electronic institutions
machine learning
high level
multiscale
object oriented
business processes
specification language
social norms
modelling language
provably correct