6167 search results - page 162 / 1234 » Can Refinement be Automated |
145
click to vote
DEXA
2004
Springer
15 years 10 months ago
2004
Springer
This paper proposes a method for automatic maintaining the similarity information for a particular class of Flexible Query Answering Systems (FQAS). The paper describes the three m...
147
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic g...
139
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
133
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
XML-based metadata information services are a crucial core service needed by Problem Solving Environments built over emerging service-based, globally-scaled distributed systems, a...
144
click to vote
ISQED
2002
IEEE
15 years 9 months ago
2002
IEEE
The design methods and the automation of the comparator circuit layout generation for a flash A/D converter are presented in this paper. The threshold inverter quantization (TIQ)...