This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
Alexandre David, Kim Guldstrand Larsen, Shuhao Li,...
Position tracking of rodents is useful and necessary to help elucidate the behavioral and physiological effects of genetic mutations, drug action, and environmental stimuli. In th...
Jane Brooks Zurn, Drew Hohmann, Steven I. Dworkin,...
—In this paper, a user-aided adaptive TDMA (UAAT) algorithm is developed for real-time services to improve the system efficiency of OFDM based cellular networks. In the UAAT sche...
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
This poster describes our recently developed real-time projector-camera system for interaction with Chinese Inkand-Wash Cartoons. We implement a real-time interactive water simula...