2432 search results - page 112 / 487 » Cryptographic logical relations |
109
Voted
ICDT
2010
ACM
15 years 4 months ago
2010
ACM
Relational data exchange deals with translating a relational database instance over some source schema into a relational database instance over some target schema, according to a ...
89
Voted
JOLLI
2008
15 years 18 days ago
2008
Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By th...
136
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
108
click to vote
ICTAI
2005
IEEE
15 years 6 months ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
PATMOS
2004
Springer
15 years 6 months ago
2004
Springer
The main result is the development, and delay comparison based on Logical Effort, of a number of high speed circuits for common arithmetic and related operations using threshold l...