Sciweavers

4286 search results - page 482 / 858
» Formalizing Service Interactions
Sort
View
DSVIS
2005
Springer
15 years 11 months ago
Automatic Critiques of Interface Modes
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...
Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns
GW
2005
Springer
173views Biometrics» more  GW 2005»
15 years 11 months ago
Deixis: How to Determine Demonstrated Objects Using a Pointing Cone
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...
Alfred Kranstedt, Andy Lücking, Thies Pfeiffe...
165
Voted
ACSD
2003
IEEE
95views Hardware» more  ACSD 2003»
15 years 11 months ago
Quasi-Static Scheduling for Concurrent Architectures
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno...
IV
2003
IEEE
98views Visualization» more  IV 2003»
15 years 11 months ago
The Stardinates - Visualizing Highly Structured Data
The Stardinates are a novel interactive Information Visualization (InfoVis) technique which aims at visualizing highly structured data. They represent some Gestalt principles very...
Monika Lanzenberger, Silvia Miksch, Margit Pohl
181
Voted
ACNS
2003
Springer
185views Cryptology» more  ACNS 2003»
15 years 11 months ago
Anonymity-Enhanced Pseudonym System
Pseudonym systems allow users to interact with multiple organizations anonymously by using pseudonyms. Such schemes are of significant practical relevance because it is the best m...
Yuko Tamura, Atsuko Miyaji