6800 search results - page 254 / 1360 » Testing with Functions as Specifications |
134
click to vote
CEAS
2008
Springer
15 years 8 months ago
2008
Springer
The effectiveness of anti-spam techniques is an important question: after all, spam has a real cost to legitimate users in terms of time and resources. The problem is how we deter...
163
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
: Given two testable properties P1 and P2, under what conditions are the union, intersection or set-difference of these two properties also testable? We initiate a systematic study...
153
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
An FPGA-based reconfigurable system may contain boards of FPGAs which are reconfigured for different applications and must work correctly. This paper presents a novel approach for...
139
click to vote
ICIP
2004
IEEE
16 years 7 months ago
2004
IEEE
Modelling textured images as AM-FM functions has been applied during the last years to texture analysis and segmentation tasks. In this paper we present some advances in two direc...
175
click to vote
IEEEARES
2009
IEEE
16 years 26 days ago
2009
IEEE
—The security assessment of the ICT components of critical infrastructures is nowadays a prominent problem. Risk assessment methodologies require, in order to be effective, to be...