1414 search results - page 191 / 283 » Automated Metamorphic Testing |
EUROSEC
2010
ACM
14 years 1 months ago
2010
ACM
CAPTCHA is a standard security technology that presents tests to tell computers and humans apart. In this paper, we examine the security of a new CAPTCHA that was deployed until v...
EH
2003
IEEE
14 years 1 months ago
2003
IEEE
In the present paper, single-opamp sinusoidal oscillators are synthesized using genetic algorithms. The motivation is to evolve new topologies of oscillators using different activ...
ISCAS
2003
IEEE
14 years 1 months ago
2003
IEEE
An increasing number of university lectures and a vast majority of company presentations are being digitally archived for redistribution today. Most of these presentations take th...
LICS
2003
IEEE
14 years 1 months ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
MIR
2003
ACM
14 years 1 months ago
2003
ACM
To manage the massive growth of sport videos, we need to summarize the contents into a more compact and interesting representation. Unlike previous work which summarized either hi...