3166 search results - page 206 / 634 » Translation By Structural Correspondences |
193
click to vote
DSVIS
2005
Springer
16 years 3 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
162
click to vote
EDBTW
2004
Springer
15 years 12 months ago
2004
Springer
In this work, we investigate mechanisms to support data sharing and querying in a peer-to-peer data management system, that is, a peer-to-peer system where each peer manages its ow...
157
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
162
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Ontologies are seen as the solution to data heterogeneity on the web. However, the available ontologies are themselves source of heterogeneity. This can be overcome by aligning on...
193
click to vote
AGP
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...