2776 search results - page 369 / 556 » System-Level Abstraction Semantics |
175
click to vote
ICDT
2007
ACM
16 years 21 days ago
2007
ACM
Abstract. Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data...
164
click to vote
ICICS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. To be accepted, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, because cryptographic schemes are based on no...
162
click to vote
ICLP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
157
click to vote
ISOLA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
138
click to vote
KES
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The growing availability of GPS and localization technologies in general opens up new challenges regarding the use of position information for Location Based Services. As...