Sciweavers

287 search results - page 4 / 58
» Mixed Strand Spaces
Sort
View
ISMAR
2002
IEEE
14 years 1 months ago
Interactive Theatre Experience in Embodied + Wearable Mixed Reality Space
This paper presents an interactive theatre based on an embodied mixed reality space and wearable computers. Embodied computing mixed reality spaces integrate ubiquitous computing,...
Adrian David Cheok, Wang Weihua, Xubo Yang, Simon ...
PUC
2002
165views more  PUC 2002»
13 years 8 months ago
Touch-Space: Mixed Reality Game Space Based on Ubiquitous, Tangible, and Social Computing
: This paper presents a novel computer entertainment system which recaptures human touch and physical interaction with the real-world environment as essential elements of the game ...
Adrian David Cheok, Xubo Yang, Zhiying Zhou, Mark ...
FOSSACS
2009
Springer
14 years 3 months ago
Cryptographic Protocol Composition via the Authentication Tests
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...
Joshua D. Guttman
CCS
2001
ACM
14 years 1 months ago
Events in security protocols
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
Federico Crazzolara, Glynn Winskel
AVI
2008
13 years 11 months ago
Balancing physical and digital properties in mixed objects
Mixed interactive systems seek to smoothly merge physical and digital worlds. In this paper we focus on mixed objects that take part in the interaction. Based on our Mixed Interac...
Céline Coutrix, Laurence Nigay