Sciweavers

Share
55 search results - page 1 / 11
» Designing smooth connections between worlds
Sort
View
CHI
2004
ACM
12 years 1 months ago
Designing smooth connections between worlds
Currently there is a lack of explicit theories and few detailed guidelines to support the development of Mixed Reality (MR) technology and its varied applications. This research f...
Daniela Gorski Trevisan
CHI
2000
ACM
11 years 5 months ago
Traversable interfaces between real and virtual worlds
Traversable interfaces establish the illusion that virtual and physical worlds are joined together and that users can physically cross from one to the other. Our design for a trav...
Boriana Koleva, Holger Schnädelbach, Steve Be...
JISBD
2001
11 years 2 months ago
From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition
In this paper we show how the formal specification of a system written in Maude can be easily connected to its Web-based distributed implementation using SOAP. In addition to the u...
Antonio Albarrán, Francisco Durán, A...
BIRTHDAY
2007
Springer
11 years 5 months ago
Deriving Specifications for Systems That Are Connected to the Physical World
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
PERVASIVE
2011
Springer
10 years 4 months ago
Hybrid Prototyping by Using Virtual and Miniature Simulation for Designing Spatial Interactive Information Systems
Abstract. In this paper, we introduce CityCompiler, an integrated environment for the iteration-based development of spatial interactive systems. CityCompiler visualizes interactiv...
Yasuto Nakanishi, Koji Sekiguchi, Takuro Ohmori, S...
books