115 search results - page 22 / 23 » The Attributed Pi Calculus |
OTM
2005
Springer
15 years 5 months ago
2005
Springer
The relational algebra and calculus do not take the semantics of terms into account when answering queries. As a consequence, not all tuples that should be returned in response to ...
FQAS
2000
Springer
15 years 3 months ago
2000
Springer
Knowledge scouts are software agents that autonomously synthesize knowledge of interest to a given user (target knowledge) by applying inductive database operators to a local or di...
99
Voted
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
118
Voted
IS
2006
15 years 6 days ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
77
Voted
DATESO
2004
15 years 1 months ago
2004
In this paper we present a storage method for sets of first order logic terms in a relational database using function symbols based indexing method of Discrimination trees. This is...