3742 search results - page 112 / 749 » On the Use of Formal Techniques for Validation |
174
click to vote
PERVASIVE
2005
Springer
15 years 11 months ago
2005
Springer
Obfuscation concerns the practice of deliberately degrading the quality of information in some way, so as to protect the privacy of the individual to whom that information refers. ...
191
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
120
click to vote
CAISE
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Poor quality data may be detected and corrected by performing various quality assurance activities that rely on techniques with different efficacy and cost. In this pape...
157
click to vote
MTDT
2002
IEEE
15 years 11 months ago
2002
IEEE
The amount of memory being embedded on chip is growing rapidly. This strongly implies that memory Built-in-self-test (BIST) logic assumes utmost importance amongst all on chip sel...
170
click to vote
VTS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents adaptive techniques for improving delay fault diagnosis. These techniques reduce the search space for direct probing which can save a lot of time during failur...