A Rigorous Model of Contract-Based Service Component Architecture.

Dehui Du Jing Liu Honghua Cao

Published in: CSSE (2) (2008)

Keyphrases

formal model
high level
management system
objective function
real time
e government
software systems
bayesian networks
probability distribution
probabilistic model
prior knowledge
access control
mobile devices
theoretical framework
mathematical model
software architecture
multi layer
agent model
reference model