12745 search results - page 2248 / 2549 » Automating test automation |
201
click to vote
SIGKDD
2008
15 years 7 months ago
2008
Wide-area sensor infrastructures, remote sensors, RFIDs, and wireless sensor networks yield massive volumes of disparate, dynamic, and geographically distributed data. As such sen...
219
click to vote
AAECC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
231
click to vote
SIGMOD
2008
ACM
15 years 7 months ago
2008
ACM
The UQBE is a mashup tool for non-programmers that supports query-by-example (QBE) over a schema made up by the user without knowing the schema of the original sources. Based on a...
251
click to vote
AI
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
226
click to vote
IJSWIS
2007
15 years 7 months ago
2007
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...