• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A novel formal framework for secure dynamic services composition.

Dong-Hong XuYong QiDi HouGong-Zhen WangYing 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