2661 search results - page 352 / 533 » A Semantics for Abstraction |
176
click to vote
ICDT
2007
ACM
16 years 23 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 23 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...
167
click to vote
ICLP
2007
Springer
16 years 23 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...
140
click to vote
KES
2007
Springer
16 years 23 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...
163
click to vote
KI
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...