903 search results - page 109 / 181 » Usability inspection methods |
DIAU
2000
Springer
15 years 2 months ago
2000
Springer
There are different methods to build an anonymity service using MIXes. A substantial decision for doing so is the method of choosing the MIX route. In this paper we compare two sp...
82
Voted
DAC
2010
ACM
15 years 2 months ago
2010
ACM
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...
75
Voted
DSN
2004
IEEE
15 years 2 months ago
2004
IEEE
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...
70
Voted
ICDCSW
2000
IEEE
15 years 1 months ago
2000
IEEE
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...
84
Voted
VL
1995
IEEE
15 years 1 months ago
1995
IEEE
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...