Self-reconfigurable or metamorphic robots can change their individual and collective shape and size to meet operational demands. Since these robots are constructed from a set of a...
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
The emergence of large-scale distributed applications based on many-to-many communication models, e.g., broadcast and decentralized group communication, has an important impact on ...
Cancelling or reversing the effect of a former action is a necessity in most interactive systems. The simplest and most frequent form of this facility is the "undo" comma...
This paper introduces Portable Haptic Display (PHD), a novel platform-independent haptic rendering system that can be conveniently integrated into a large immersive virtual enviro...
Enkhtuvshin Dorjgotov, Seungmoon Choi, Steven R. D...