This paper presents a framework for modeling and verification of mini real-time applications running under a multitasking kernel. The model described as networks of timed automata is mapped to real time operating systemspsila tasks. We focus on cooperative scheduling tasks with different priorities. For the tasks to be as simple as possible, a unified… (More)
In this paper, we introduce a new 3D expressive model of gesture descriptors based on the Laban Movement Analysis (LMA). The proposed model is tested and evaluated within an action recognition context. Experimental results, obtained on the Microsoft Research Cambridge-12 dataset, show that the approach yields very high recognition rates (more than 97%).
Although virtualization has been around for more than 50 years, the subject is hotter than ever. Initiated to simulate multiple machines using hardware and software techniques, virtualization today brings server consolidation, security and isolation for multiple operating systems running on the same hardware. This article's main objective is to show that… (More)