2132 search results - page 293 / 427 » Automated software winnowing |
124
Voted
ADBIS
2001
Springer
15 years 9 months ago
2001
Springer
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
126
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
One vision of the “Semantic Web” of the future is that software agents will interact with each other using formal metadata that reveal their interfaces. We examine one plausibl...
120
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
136
Voted
VLSID
1999
IEEE
15 years 9 months ago
1999
IEEE
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...
153
Voted
CIKM
1994
Springer
15 years 8 months ago
1994
Springer
Human Genome Project databases present a confluence of interesting database challenges: rapid schema and data evolution, complex data entry and constraint management, and the need...