6800 search results - page 686 / 1360 » Testing with Functions as Specifications |
175
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
In this paper we present a structured methodology for evaluating cost of responses based on three factors: the response operational cost associated with the daily maintenance of t...
151
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
We describe innovative new work in the development of an "animated architecture." Specifically, we describe our early research aimed at the creation of intelligent, prog...
139
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
As human-computer interaction increasingly focuses on mediated interactions among groups of individuals, there is a need to develop techniques for measurement and analysis of grou...
173
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We present results of a study that considers (a) gestures outside the context of a specific implementation and (b) their use in supporting secondary, rather than primary tasks in ...
149
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
A control part ? data path partition based sequential circuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a ...