Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
System software for future computing environments becomes more complex and heterogeneous. Portability becomes one of the important properties of the future system software. Compon...
This paper presents J-MADeM, a multi-modal decision making mechanism to provide agents in a Multi-Agent Systems (MAS) with a market-based model for complex decision problems. J-MA...
Francisco Grimaldo, Miguel Lozano, Fernando Barber
We present the System Blocks, a new physical interactive system that makes it easier for kids to explore dynamic systems. A set of computationally enhanced children blocks, made o...
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...