3385 search results - page 263 / 677 » Observer-Conditioned-Observable Design Pattern |
254
click to vote
SPIN
2012
Springer
13 years 4 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
164
click to vote
ITC
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper presents a new approach for designing test sequences to be generated on–chip. The proposed technique is based on machine learning, and provides a way to generate effi...
103
click to vote
SSWMC
2004
15 years 3 months ago
2004
A technique for watermarking duplex printed pages is presented. The technique produces visible watermark patterns like conventional watermarks embedded in paper fabric. Watermark ...
118
click to vote
WWW
2008
ACM
15 years 2 months ago
2008
ACM
As the Internet continues to play an important role in many business applications, it becomes vital to increase the competitive edge by offering geographically tailored contents t...
121
Voted
IIE
2007
15 years 2 months ago
2007
This article presents an approach to using open-source tools and open-source projects to add realistic and practical examples to a course on software design in a professional maste...