4305 search results - page 465 / 861 » Analysing Protocol Implementations |
156
click to vote
INFORMATIKTAGE
2008
15 years 8 months ago
2008
: This thesis focuses on the practical aspects of general two-party Secure Function Evaluation (SFE). A new SFE protocol that allows free evaluation of XOR gates and is provably se...
176
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
160
click to vote
PDPTA
2004
15 years 8 months ago
2004
In this paper, we discuss reliable and secure file transfer middleware called NaradaBrokering. It is our goal to show that reliability features can be decoupled from the implementa...
204
click to vote
ICMAS
2000
2000
An Experimental Evaluation of Domain-Independent Fault Handling Services in Open Multi-Agent Systems
15 years 8 months ago
A critical challenge to creating effective open multi-agent systems is allowing them to operate effectively in the face of potential failures. In this paper we present an experimen...
177
click to vote
IJCAI
1989
15 years 8 months ago
1989
A cognitive model of student programmers is presented. The model is based on protocol studies of students writing Pascal programs, and is implemented in a computer simulation prog...