2012 search results - page 294 / 403 » CORAL - Control, Relations and Logic |
140
click to vote
ICCSA
2005
Springer
15 years 12 months 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...
181
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
157
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
158
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
148
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...