3104 search results - page 60 / 621 » Competence-Based EE-Learning: (How) Can We Implement It |
128
click to vote
IACR
2011
14 years 4 months ago
2011
We present a method to compile Yao’s two-player garbled circuit protocol into one that is secure against malicious adversaries that relies on witness indistinguishability. Our ap...
104
click to vote
ICN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...
137
click to vote
WSC
2007
15 years 6 months ago
2007
Generation of traces from a simulation model and their analysis is a powerful and common mean to debug simulation models. In this paper, we define a measure of progress for simul...
213
click to vote
CMMR
2009
Springer
15 years 2 months ago
2009
Springer
This paper presents novel interaction modes for Model-Based Sonification (MBS) via interactive surfaces. We first discuss possible interactions for MBS on a multi-touch surface. Th...
115
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...