In performance analysis and design of communication netword modeling data traffic is important. With introduction of new applications, the characteristics of the data traffic chang...
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
Guillaume Aucher, Davide Grossi, Andreas Herzig, E...
In real world we have to deal with changing situations which may partially or entirely invalidate an executable plan. Current strategies for plan repair are basically aimed at sol...
Activation Timed Influence Net (ATIN) is a term representing a progressively evolving sequence of actions, where the effects of an action become the preconditions of the action th...
Panayota Papantoni-Kazakos, Abbas K. Zaidi, M. Far...
In 2003, the MIT Technology Review magazine listed wireless sensor networks as one of “Ten Emerging Technologies That Will Change the World” [2]. Five years later, are wireles...