Abstract. Broadcast (BC) is considered as the most fundamental primitive for fault-tolerant distributed computing and cryptographic protocols. An important and practical variant of...
: The Visual Interaction Platform (VIP) is an Augmented Reality system that builds on human skills of real world object manipulation and allows unhindered human-human communication...
Dzmitry Aliakseyeu, Bernard Champoux, Jean-Bernard...
In this paper we describe research being conducted to investigate the experience of computer game immersion, in particular the component "real world dissociation". Keywo...
An electro-tactile display is a tactile interface composed of skin surface electrodes. Such displays comprise many useful features such as durability and energy efficiency, but the...
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...