카테고리
전체 > 전체

Applying Formal Methods to Modeling and Analysis of Real-time Data Streams

소개글 Author: Kapitanova Krasimira, Wei Yuan, Kang Woochul, Son Sang H. Organization: Kapitanova Krasimira; Wei Yuan; Kang Woochul; Son Sang H. Publish: Journal of Computing Science and Engineering Volume 5, Issue1, p85~110, 28 Feb 2011
태그
  • Data Stream Analysis
  • Petri Nets
  • Operator Selectivity Estimation
  • Stream Query Modeling
  • Quality-of-Service Management