Sciweavers

3047 search results - page 203 / 610
» Aggregation functions: Means
Sort
View
SEMWEB
2005
Springer
14 years 2 months ago
Modeling the Non-Expected Choice: A Weighted Utility Logit
This work derives and simulates two choice models applying the weighted utility theory, a generalization of the expected utility theory. It shows one set of assumptions, which jus...
Pia Koskenoja
ACSAC
1996
IEEE
14 years 1 months ago
Formal Techniques for an ITSEC-E4 Secure Gateway
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
Pierre Bieber
ERLANG
2007
ACM
14 years 1 months ago
Learning programming with Erlang
This paper presents an interactive framework for pupils to learn the basic concepts of programming by means of the functional programming language Erlang. Beside the idea of the f...
Frank Huch
CTRSA
2008
Springer
197views Cryptology» more  CTRSA 2008»
13 years 11 months ago
Legally-Enforceable Fairness in Secure Two-Party Computation
In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their private inputs. The computation should...
Andrew Y. Lindell
FLOPS
2008
Springer
13 years 10 months ago
EasyCheck - Test Data for Free
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
Jan Christiansen, Sebastian Fischer