— Enhancement of dining environment by information technology is explored in this paper. A table system to recommend additional dishes according to the dining status is introduce...
Instruction and data address traces are widely used by computer designers for quantitative evaluations of new architectures and workload characterization, as well as by software de...
Milena Milenkovic, Aleksandar Milenkovic, Martin B...
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,...
Abstract. In this paper, MM-Model is presented for real-time simulation of 3D deformable objects on both global level and local region. This model consists of a deformable centerli...
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...