Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
This article summarises five relevant methods for developing self-organising multi-agent systems. It identifies their most promising aspects and provides a description of each o...
Mariachiara Puviani, Giovanna Di Marzo Serugendo, ...
This paper proposes a novel approach to the visualization of complex, but interrelated, sets of information to ease user cognition. Principally, it explores the potential of provi...
We developed AirTransNote, an interactive learning system augmented by digital pens and PDAs for each student. All notes written on regular paper sheets are immediately digitized ...
— This paper investigates the motion generation for a pendulum-driven cart-pole system. The dynamic model of this system is developed by using the Newton’s Law. A sixstep motio...