Sciweavers

212 search results - page 17 / 43
» Design and Implementation of a Graphical Interface to Xquery
Sort
View
DL
1998
Springer
14 years 3 days ago
An Extensible Constructor Tool for the Rapid, Interactive Design of Query Synthesizers
We describe an extensible constructor tool that helps information experts (e.g., librarians) create specialized query synthesizers for heterogeneous digital-library environments. ...
Michelle Q. Wang Baldonado, Seth Katz, Andreas Pae...
UIST
2005
ACM
14 years 1 months ago
Sensing and visualizing spatial relations of mobile devices
Location information can be used to enhance interaction with mobile devices. While many location systems require instrumentation of the environment, we present a system that allow...
Gerd Kortuem, Christian Kray, Hans-Werner Gellerse...
OTM
2004
Springer
14 years 1 months ago
Using Patterns in the Design of Inter-organizational Systems - An Experience Report
Abstract. The modeling, design, and implementation of inter-organizational systems (IOS) is a challenging new problem. In contrast to previous systems, where components have clearl...
John Novatnack, Jana Koehler
UIST
2004
ACM
14 years 1 months ago
DART: a toolkit for rapid design exploration of augmented reality experiences
In this paper, we describe The Designerʼs Augmented Reality Toolkit (DART). DART is built on top of Macromedia Director, a widely used multimedia development environment. We summ...
Blair MacIntyre, Maribeth Gandy, Steven Dow, Jay D...
FM
2006
Springer
148views Formal Methods» more  FM 2006»
13 years 11 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti