A novel formal framework for secure dynamic services composition.

Dong-Hong Xu Yong Qi Di Hou Gong-Zhen Wang Ying Chen

Published in: CIT (2008)

Keyphrases

main contribution
dynamic environments
probabilistic model
lightweight
formal model
database
real time
neural network
artificial intelligence
distributed systems
logic programs
conceptual framework
meta level