6293 search results - page 250 / 1259 » Information Flow Testing |
140
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
User trials for future mobile telecommunication applications inherently pose several particular challenges which are difficult to meet in a traditional lab environment. In this pa...
142
click to vote
ISMVL
2005
IEEE
15 years 10 months ago
2005
IEEE
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
107
click to vote
HT
2004
ACM
15 years 9 months ago
2004
ACM
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...
118
click to vote
FATES
2004
Springer
15 years 9 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
145
click to vote
ICCD
2003
IEEE
15 years 9 months ago
2003
IEEE
As the technology is shrinking toward 50 nm and the working frequency is going into multi gigahertz range, the effect of interconnects on functionality and performance of system-o...