Sciweavers

991 search results - page 27 / 199
» Interaction criticism and aesthetics
Sort
View
EUC
2005
Springer
15 years 11 months ago
Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
Jens Brandt, Klaus Schneider
FM
2005
Springer
88views Formal Methods» more  FM 2005»
15 years 11 months ago
Timing Tolerances in Safety-Critical Software
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
Alan Wassyng, Mark Lawford, Xiayong Hu
HASE
1999
IEEE
15 years 10 months ago
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
Mario Dal Cin, Gábor Huszerl, Konstantinos ...
CHI
2009
ACM
16 years 6 months ago
Photo Khipu: organizing a public record of social transaction
Traditional photo albums are important not only for storing and organizing photographs but also for their ability to display photos in an aesthetically pleasing manner. A beautifu...
Kora A. Bongen, Karrie G. Karahalios
ACMDIS
2004
ACM
15 years 11 months ago
Unpacking critical parameters for interface design: evaluating notification systems with the IRC framework
We elaborate a proposal for capturing, extending, and reusing design knowledge gleaned through usability testing. The proposal is specifically targeted to address interface design...
Christa M. Chewar, D. Scott McCrickard, Alistair G...