Sciweavers

3040 search results - page 66 / 608
» A framework for user-interfaces to databases
Sort
View
149
Voted
CHI
2007
ACM
16 years 5 months ago
An extensible platform for the interactive exploration of Fitts' Law and related movement time models
This paper describes a new software platform for the interactive exploration of human performance models such as Fitts' law. The software is written in Java and provides a fl...
Martin J. Schedlbauer
ICMI
2004
Springer
174views Biometrics» more  ICMI 2004»
15 years 10 months ago
MULTIFACE: multimodal content adaptations for heterogeneous devices
We are interested in applying and extending existing frameworks for combining output modalities for adaptations of multimodal content on heterogeneous devices based on user and de...
Songsak Channarukul, Susan Weber McRoy, Syed S. Al...
ACMACE
2007
ACM
15 years 8 months ago
Capture the flag: simulating a location-based mobile game using the wizard-of-oz method
We present a wizard of Oz framework for the simulation of locationbased mobile games. We explore briefly the methodological concept of Wizard of Oz and show, based on a case study...
Regina Bernhaupt, Stefan Jenisch, York Keyser, Man...
157
Voted
FASE
2000
Springer
15 years 8 months ago
More About TAS and IsaWin - Tools for Formal Program Development
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
Christoph Lüth, Burkhart Wolff
151
Voted
SERP
2004
15 years 6 months ago
Formal Analysis of UML-Based Designs
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
Boumediene Belkhouche, Anastasia Nix