12745 search results - page 420 / 2549 » Automating test automation |
156
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
210
click to vote
ADAEUROPE
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes an automated approach for generating Ada bindings from Java class files. We start with the set of Java features that require a visible Ada binding, and an Ada ...
198
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
170
click to vote
UIST
1998
ACM
15 years 11 months ago
1998
ACM
This paper describes a programming-by-demonstration system, called Internet Scrapbook, which allows users with little programming skill to automate repetitive browsing tasks. With...
240
click to vote
MM
1997
ACM
15 years 11 months ago
1997
ACM
The rapidity with which digital information, particularly video is being generated, has necessitated the development of tools for efficient search of these digital media. Content...