Sciweavers

991 search results - page 27 / 199
» Interaction criticism and aesthetics
Sort
View
EUC
2005
Springer
14 years 3 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»
14 years 3 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
14 years 2 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
14 years 10 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
14 years 3 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...