On verifying stateful dataflow processing services in large-scale cloud systems.

Juan Du Xiaohui Gu Ting Yu

Published in: CCS (2010)

Keyphrases

real time
real world
data intensive
building blocks
emergency services
mission critical
open systems
ambient assisted living
data processing
end users
information services
computing systems
service oriented
web environment
complex systems
parallel execution
computer systems
network services
computing infrastructure