Sciweavers

1827 search results - page 256 / 366
» Interactive Implementation of Optimal Simulation Experiment ...
Sort
View
CHI
1995
ACM
13 years 11 months ago
A Virtual Window on Media Space
The Virtual Window system uses head movements in a local office to control camera movement in a remote office. The result is like a window allowing exploration of remote scenes ra...
William W. Gaver, Gerda Smets, Kees Overbeeke
FM
2009
Springer
154views Formal Methods» more  FM 2009»
13 years 6 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
CHI
2005
ACM
14 years 8 months ago
Project view IM: a tool for juggling multiple projects and teams
Previous research suggests working on multiple projects may lead to stress and misallocation of attention. A modest redesign of Instant Messenger (IM) could help team members jugg...
Peter Scupelli, Sara B. Kiesler, Susan R. Fussell,...
CHI
1997
ACM
14 years 10 days ago
SenseMaker: An Information-Exploration Interface Supporting the Contextual Evolution of a User's Interests
We describe the design, implementation, and pilot study for SenseMaker, an interface for information exploration across heterogeneous sources. We propose supporting the contextdri...
Michelle Q. Wang Baldonado, Terry Winograd
UIST
2010
ACM
13 years 6 months ago
TwinSpace: an infrastructure for cross-reality team spaces
We introduce TwinSpace, a flexible software infrastructure for combining interactive workspaces and collaborative virtual worlds. Its design is grounded in the need to support dee...
Derek F. Reilly, Hafez Rouzati, Andy Wu, Jee Yeon ...