Sciweavers

943 search results - page 67 / 189
» Interactive Design Using the Example of a Complex Medical Ap...
Sort
View
FM
2009
Springer
154views Formal Methods» more  FM 2009»
13 years 5 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
VRST
1999
ACM
14 years 1 days ago
Testbed evaluation of virtual environment interaction techniques
As immersive virtual environment (VE) applications become more complex, it is clear that we need a rm understanding of the principles of VE interaction. In particular, designers n...
Doug A. Bowman, Donald B. Johnson, Larry F. Hodges
SIGMOD
2002
ACM
198views Database» more  SIGMOD 2002»
14 years 8 months ago
Processing complex aggregate queries over data streams
Recent years have witnessed an increasing interest in designing algorithms for querying and analyzing streaming data (i.e., data that is seen only once in a fixed order) with only...
Alin Dobra, Minos N. Garofalakis, Johannes Gehrke,...
CVPR
1998
IEEE
14 years 9 months ago
Interactive Sensor Planning
This paper describes an interactive sensor planning system that can be used to select viewpoints subject to camera visibility, field of view and task constraints. Application area...
Ioannis Stamos, Peter K. Allen
ACMACE
2005
ACM
14 years 1 months ago
Gaming on the edge: using seams in ubicomp games
Outdoor multi-player games are an increasingly popular application area for ubiquitous computing, supporting experimentation both with new technologies and new user experiences. T...
Matthew Chalmers, Marek Bell, Barry Brown, Malcolm...