1438 search results - page 196 / 288 » An Expressive Extension of TLC |
156
click to vote
GFKL
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. A central task when integrating data from different sources is to detect identical items. For example, price comparison websites have to identify offers for identical p...
147
click to vote
ICTCS
2007
Springer
16 years 16 days ago
2007
Springer
ing from Prioritized/Weighted Internal Immediate Actions Marco Bernardo and Alessandro Aldini Universit`a di Urbino “Carlo Bo” – Italy Markovian process calculi constitute a ...
159
click to vote
IFL
2007
Springer
16 years 16 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
160
click to vote
LCPC
2007
Springer
16 years 16 days ago
2007
Springer
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...
192
click to vote
RR
2007
Springer
16 years 15 days ago
2007
Springer
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...