C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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