9110 search results - page 165 / 1822 » Formally-Based Design Evaluation |
167
click to vote
CHI
1992
ACM
15 years 10 months ago
1992
ACM
We designed, implemented and evaluated a new concept for direct manipulation of databases, called dynamic queries, that allowsuserstoformulatequerieswithgraphicalwidgets,such as s...
174
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Side channel attacks are known to be efficient techniques to retrieve secret data. In this context, this paper concerns the evaluation of the robustness of triple rail logic agains...
153
click to vote
CSCWD
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we propose an analytical approach based on models of human performance to evaluate workspace collaboration. Our results indicate that the approach: 1) facilitates th...
175
click to vote
EUROGP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Statistical techniques for designing and analysing experiments are used to evaluate the individual and combined effects of genetic programming parameters. Three binary cl...
195
click to vote
ITC
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes the testing of a chip especially designed to facilitate the evaluation of various test techniques for combinational circuitry. The different test sets and tes...