62 search results - page 13 / 13 » The Causal Graph Revisited for Directed Model Checking |
WCRE
2003
IEEE
13 years 10 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
SIGMOD
2004
ACM
14 years 5 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...