190 search results - page 23 / 38 » Semantical Correctness of Simulation-to-Animation Model and ... |
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
ADBIS
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. Query reformulation techniques based on semantic knowledge have been used in two ways in database management systems, namely for query optimization and for data integrati...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
DL
1998
Springer
13 years 11 months ago
1998
Springer
In this paper we present a mechanism for translating information in heterogeneous digital library environments. We model information as a set of conjunctive constraints that are s...
COSIT
2007
Springer
13 years 11 months ago
2007
Springer
Consistent and flawless communication between humans and machines is the precondition for a computer to process instructions correctly. While machines use well-defined languages an...