4401 search results - page 575 / 881 » Computing with Default Logic |
149
click to vote
ENC
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
170
Voted
PDP
2005
IEEE
16 years 9 days ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
158
Voted
ACMSE
2005
ACM
16 years 8 days ago
2005
ACM
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...
169
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
A main feature of many logics used in computer science is a means to express quantification. Usually, syntactical devices like variables and quantifiers are used for this purpose...
144
click to vote
ICCSA
2005
Springer
16 years 7 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...