Towards Trusted Result Verification in Mass Data Processing Service.

Yan Ding Huaimin Wang Peichang Shi Hongyi Fu Xinhai Xu

Published in: IEICE Trans. Commun. (2014)

Keyphrases

data processing
management system
service oriented
real time
data mining
web services
data management
data sets
databases
data analysis
low cost
computer systems
model checking
information services
formal methods
protocol specification