Login / Signup
PROOF as a Service on the Cloud: a Virtual Analysis Facility based on the CernVM ecosystem.
Dario Berzano
Jakob Blomer
Predrag Buncic
Ioannis Charalampidis
Gerardo Ganis
Georgios Lestaris
René Meusel
Published in:
CoRR (2014)
Keyphrases
</>
image analysis
management system
information systems
special case
virtual reality
quantitative analysis
neural network
real world
website
information technology
virtual world
service providers
augmented reality
theorem proving
service discovery