3742 search results - page 222 / 749 » On the Use of Formal Techniques for Validation |
166
Voted
GRAPHICSINTERFACE
2008
15 years 8 months ago
2008
Effective mode-switching techniques provide users of tablet interfaces with access to a rich set of behaviors. While many researchers have studied the relative performance of mode...
128
click to vote
DATE
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper describes a novel test method for continuous-time adaptive equalizers. This technique applies a two-sinusoidal-tone signal as stimulus and includes an RMS detector for ...
146
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes a new technique called CORBAas-needed to improve the performance of distributed CORBA applications. CORBA-as-needed allows distributed CORBA applications to ...
139
click to vote
ACL
2001
15 years 8 months ago
2001
Previous research has shown that the plausibility of an adjective-noun combination is correlated with its corpus co-occurrence frequency. In this paper, we estimate the co-occurre...
187
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...