3527 search results - page 418 / 706 » Test Automation in Practice |
135
click to vote
DDECS
2009
IEEE
15 years 11 months ago
2009
IEEE
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
134
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Back in 2001, the MIT announced aspect-oriented programming as a key technology in the next 10 years. Nowadays, 8 years later, AOP is not widely adopted. Several reasons can expla...
155
click to vote
ERCIMDL
2009
Springer
15 years 10 months ago
2009
Springer
Name ambiguity in the context of bibliographic citations is one of the hardest problems currently faced by the digital library community. Several methods have been proposed in the ...
121
click to vote
ICANNGA
2009
Springer
15 years 10 months ago
2009
Springer
Modern process and condition monitoring systems produce a huge amount of data which is hard to analyze manually. Previous analyzing techniques disregard time information and concen...
132
click to vote
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
A vast amount of documents in the Web have duplicates, which is a challenge for developing efficient methods that would compute clusters of similar documents. In this paper we use ...