12745 search results - page 334 / 2549 » Automating test automation |
163
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
The trend to multi-core chip designs presents new challenges for design automation, while the increased reuse of components may offer solutions. This paper describes some of the k...
174
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...
144
click to vote
EDOC
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we introduce an analysis framework for mobile workforce automation. The framework is based on the findings from earlier research as well as on an analysis of 27 rec...
165
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Underwriting is one of the important processes in insurance operations. The applicant's information, including various kinds of medical information, must be evaluated before ...
190
click to vote
ICDIM
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a strategy for the automated and scheduled maintenance of a digital library collection. Existing systems require the user either to add new data manually...