3994 search results - page 535 / 799 » A Linear Logical Framework |
218
click to vote
CIKM
2005
Springer
16 years 24 days ago
2005
Springer
Schema matching is the problem of finding correspondences (mapping rules, e.g. logical formulae) between heterogeneous schemas e.g. in the data exchange domain, or for distribute...
205
click to vote
ESWS
2005
Springer
16 years 24 days ago
2005
Springer
Recent advances in e-learning techonologies and web services make realistic the idea that courseware for personalized e-learning can be built by dynamic composition of distributed ...
160
click to vote
ICCSA
2005
Springer
16 years 23 days ago
2005
Springer
Recently, Nenadi´c et al. (2004) proposed the RSA-CEGD protocol for certified delivery of e-goods. This is a relatively complex scheme based on verifiable and recoverable encryp...
184
click to vote
ICLP
2005
Springer
16 years 23 days ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
214
click to vote
INEX
2005
Springer
16 years 23 days ago
2005
Springer
Retrieving information from heterogeneous data sources in a flexible manner and within a single (database) framework is still a challenge. In this paper we present several extensi...