Login / Signup
VeloZ: A Charging Policy Specification Language for Infrastructure Clouds.
Francisco Airton Pereira da Silva
Paulo Anselmo da Mota Silveira Neto
Vinicius Cardoso Garcia
Fernando Antonio Mota Trinta
Rodrigo Elia Assad
Published in:
ICCCN (2013)
Keyphrases
</>
specification language
description language
formal specification
programming language
cloud computing
symbolic execution
optimal policy
software environment
real world
artificial intelligence
case study
multi agent
knowledge management
e government
reverse engineering
electric vehicles