9110 search results - page 165 / 1822 » Formally-Based Design Evaluation |
148
Voted
CHI
1992
ACM
15 years 9 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...
155
Voted
DATE
2009
IEEE
15 years 9 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...
126
Voted
CSCWD
2006
Springer
15 years 8 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...
154
click to vote
EUROGP
2000
Springer
15 years 8 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...
175
Voted
ITC
1995
IEEE
15 years 8 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...