Sciweavers

743 search results - page 73 / 149
» Multi-fidelity User Interface Specifications
Sort
View
SERP
2004
13 years 9 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
DAS
2006
Springer
13 years 11 months ago
A System for Converting PDF Documents into Structured XML Format
We present in this paper a system for converting PDF legacy documents into structured XML format. This conversion system first extracts the different streams contained in PDF files...
Hervé Déjean, Jean-Luc Meunier
CHI
2008
ACM
14 years 8 months ago
The Georgia Tech aware home
The Aware Home Research Initiative (AHRI) at Georgia Tech is devoted to the multidisciplinary exploration of emerging technologies and services based in the home. Starting in 1998...
Julie A. Kientz, Shwetak N. Patel, Brian Jones, Ed...
ICSE
2003
IEEE-ACM
14 years 8 months ago
Model-based Simulation of Web Applications for Usability Assessment
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
Robert Chatley, Jeff Kramer, Jeff Magee, Sebasti&a...
INTETAIN
2009
Springer
14 years 2 months ago
Robosonic: Randomness-Based Manipulation of Sounds Assisted by Robots
In this text, we intend to explore the possibilities of sound manipulation in a context of augmented reality (AR) through the use of robots. We use the random behaviour of robots i...
Filipe Costa Luz, Rui Pereira Jorge, Vasco Bila