3983 search results - page 625 / 797 » Conceptual logic programs |
138
click to vote
CAP
2010
15 years 7 days ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
172
click to vote
COMMA
2010
15 years 6 days 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...
160
click to vote
IFIP
2010
Springer
15 years 2 days 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...
180
Voted
IFIP
2010
Springer
15 years 2 days 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...
177
Voted
SCP
2010
14 years 12 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 ...