866 search results - page 134 / 174 » A compositional semantics for CHR |
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
ICDE
2008
IEEE
14 years 11 months ago
2008
IEEE
Validation of multi-column schema matchings is essential for successful database integration. This task is especially difficult when the databases to be integrated contain little o...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
ER
2007
Springer
14 years 3 months ago
2007
Springer
Schema mappings come in different flavors: simple correspondences are produced by schema matchers, intensional mappings are used for schema integration. However, the execution of ...