Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration

Luca Bortolussi Alberto Policriti

Published in: COMPMOD (2009)

Keyphrases

dynamic reconfiguration
software systems
application specific
formal semantics
software architecture
semantic information
real time
real world
artificial intelligence
decision making
data model
logic programming
hybrid learning