Login / Signup

Specification and monitoring of data-centric temporal properties for service-based systems.

Guoquan WuJun WeiChunyang YeHua ZhongTao HuangHong He
Published in: J. Syst. Softw. (2012)
Keyphrases
  • data centric
  • temporal properties
  • management system
  • formal methods
  • distributed systems
  • model checking
  • machine learning
  • web services
  • database systems
  • wireless sensor networks
  • information management