Sign in

Execution Semantics for rCOS.

Zheng WangXiao YuGeguang PuLibo FengHuibiao ZhuJifeng He
Published in: APSEC (2008)
Keyphrases
  • control flow
  • formal semantics
  • active rules
  • schema mappings
  • databases
  • information retrieval
  • expert systems
  • logic programming
  • conceptual model
  • data flow
  • data sets
  • semantic information
  • plan generation
  • execution model