12745 search results - page 322 / 2549 » Automating test automation |
180
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
155
click to vote
ICAPR
2001
Springer
15 years 11 months ago
2001
Springer
Identity verification becomes a challenging task when it has to be automated with high accuracy and non-repudiability. The existing methods such as passwords and photo identity c...
290
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
Attribute grammars have been used extensively in every phase of traditional compiler construction. Recently, it has been shown that they can also be effectively adopted to handle ...
162
click to vote
ISMIS
1994
Springer
15 years 10 months ago
1994
Springer
BDDs (binary decision diagrams) are a very succesful tool for handling boolean functions, but one which has not yet attracted the attention of many automated deduction specialists....