1902 search results - page 272 / 381 » Differential Dynamic Logics |
187
click to vote
EON
2008
15 years 7 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
175
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
—A facility for merging equivalent data streams can support multiple capabilities in a data stream management system (DSMS), such as query-plan switching and high availability. O...
174
click to vote
ICIP
1998
IEEE
16 years 7 months ago
1998
IEEE
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
219
click to vote
SIGMOD
2008
ACM
16 years 5 months ago
2008
ACM
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
150
click to vote
HOST
2008
IEEE
16 years 2 min ago
2008
IEEE
—Straightforward implementations of cryptographic algorithms are known to be vulnerable to attacks aimed not at the mathematical structure of the cipher but rather at the weak po...