Cloud Computing is a topic that has gained momentum in the last years. Current studies show that anincreasing number of companies is evaluating the promised advantages and considering making use ofcloud services. In this paper we investigate the phenomenon of cloud computing and its importance...

Hybrid automata are used as standard means for the specification andanalysis of dynamical systems. Several researches have approached them to formallyspecify reactive Multi-agent systems situated in a physical environment,where the agents react continuously to their environment. The specified...