In this paper we present an optimization solution for power and performance management in a platform running multiple independent applications. Our approach assumes a virtualized ...
Vinicius Petrucci, Orlando Loques, Daniel Moss&eac...
We have developed and applied modeling, simulation, and analysis capabilities for addressing strategic and tactical logistics problems in the chemical industry. These problems hav...
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
This paper presents a research in the context of pedestrian dynamics according to Situated Cellular Agent (SCA), a Multi-Agent Systems approach whose roots are on Cellular Automata...
Stefania Bandini, Sara Manzoni, Giancarlo Mauri, S...