Sciweavers

7952 search results - page 287 / 1591
» Methods for Measuring Usability
Sort
View
DSN
2004
IEEE
15 years 8 months ago
Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques
Abstract-We present a new form of quantitative safety analysis safety optimization. This method is a combination of fault tree analysis(FTA) and mathematical optimization technique...
Frank Ortmeier, Wolfgang Reif
ICDCSW
2000
IEEE
15 years 7 months ago
Compositional Verification of a Third Generation Mobile Communication Protocol
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
Sari Leppänen, Matti Luukkainen
VL
1995
IEEE
15 years 7 months ago
Display-Based Problems in Spreadsheets: A Critical Incident and a Design Remedy
A critical incident is reported where a discretionary user needed to partition the spreadsheet grid into an arithmetic series of blocks and apply a function to each, but was unabl...
David G. Hendry
GECCO
2009
Springer
129views Optimization» more  GECCO 2009»
15 years 7 months ago
Evolutionary functional testing of continuous control systems
Evolutionary functional testing is an approach to automatically generating test cases that violate a certain functional system requirement. This paper proposes an approach suitabl...
Andreas Windisch, Felix Lindlar, Sebastian Topuz, ...
CASCON
2007
96views Education» more  CASCON 2007»
15 years 5 months ago
Using paper mockups for evaluating soft keyboard layouts
Two soft keyboard layouts were evaluated for entry speed using paper mockups and hand timing. Twelve participants used a stylus to tap the well-known “quick brown fox” phrase ...
I. Scott MacKenzie, Janet C. Read