The problem of arriving at a principled method of pricing goods and services was very satisfactorily solved for conventional goods; however, this solution is not applicable to dig...
This paper describes how we address the different steps proposed in the workshop “Comparing Educational Modeling Languages on a case study” with LDL and the associated infrast...
Christian Martel, Laurence Vignollet, Christine Fe...
dtable: An Abstract Model of Conversation Dynamics Journal of Artificial Societies and Social Simulation 13 (4) 2 <http://jasss.soc.surrey.ac.uk/13/4/2.html> Received: 09-Dec...
The paper proposes three different kinds of science models as value-added services that are integrated in the retrieval process to enhance retrieval quality. The paper discusses t...
Philipp Mayr, Peter Mutschke, Vivien Petras, Phili...
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...