3456 search results - page 658 / 692 » Algorithms for Interface Synthesis |
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
Schema matching identifies elements of two given schemas that correspond to each other. Although there are many algorithms for schema matching, little has been written about build...
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
The rapid adoption of XML as the standard for data representation and exchange foreshadows a massive increase in the amounts of XML data collected, maintained, and queried over th...
SIGMOD
2003
ACM
14 years 7 months ago
2003
ACM
Most relational query optimizers make use of information about the costs of accessing tuples and data structures on various storage devices. This information can at times be off b...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...