Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs.

Jianzhou Zhao Jinian Bian Weimin Wu

Published in: CSCWD (2) (2005)

Keyphrases

data intensive
data management
globally distributed
big data
web services
geographically distributed
data access
cooperative
earth science
database
grid computing
database systems
data sets
intelligent agents
response time
knowledge discovery
multi agent
model checking
databases
machine learning
virtual organization