3693 search results - page 572 / 739 » Splitting a Logic Program |
COMMA
2010
13 years 3 months ago
2010
In this paper we define a recursive semantics for warrant in a general defeasible argumentation framework by formalizing a notion of collective (non-binary) conflict among argumen...
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
SCP
2010
13 years 3 months ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
TODS
2012
11 years 10 months ago
2012
B-trees have been ubiquitous in database management systems for several decades, and they serve in many other storage systems as well. Their basic structure and their basic operat...