2212 search results - page 304 / 443 » Automated software wrapping |
147
click to vote
SEMWEB
2001
Springer
15 years 10 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...
140
click to vote
DATE
2010
IEEE
15 years 10 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...
156
click to vote
VLSID
1999
IEEE
15 years 10 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...
174
click to vote
CIKM
1994
Springer
15 years 10 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...
153
click to vote
DSOM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The complexity of today's large-scale enterprise applications demands system administrators to monitor enormous amounts of metrics, and reconfigure their hardware as...