Sciweavers

7952 search results - page 287 / 1591
» Methods for Measuring Usability
Sort
View
DSN
2004
IEEE
15 years 11 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 11 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 10 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 10 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 8 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