Login / Signup
A Typical Verification Challenge for the GRID.
Jaco van de Pol
Published in:
Distributed Verification and Grid Computing (2008)
Keyphrases
</>
model checking
grid computing
real world
computer vision
digital libraries
grid points
data sets
artificial intelligence
knowledge base
case study
multi agent systems
response time
high security
grid enabled