5671 search results - page 988 / 1135 » A Semantic Approach to Interpolation |
177
click to vote
ER
2007
Springer
16 years 21 days 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 ...
153
click to vote
ESOP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
181
click to vote
FASE
2007
Springer
16 years 21 days ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
144
click to vote
FSTTCS
2007
Springer
16 years 21 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
180
click to vote
GFKL
2007
Springer
16 years 21 days ago
2007
Springer
Recommender Systems are gaining widespread acceptance in e-commerce applications to confront the information overload problem. Collaborative Filtering (CF) is a successful recommen...