Resources Description, Selection, Reservation and Verification on a Large-Scale Testbed.

David Margery Emile Morel Lucas Nussbaum Olivier Richard Cyril Rohr

Published in: TRIDENTCOM (2014)

Keyphrases

small scale
information resources
model checking
limited resources
high level
resource allocation
data sets
resource management
real time
formal verification
real world
web resources
asynchronous circuits
resource consumption
formal analysis
face verification
selection algorithm
multi agent
neural network
databases