Sciweavers

11051 search results - page 163 / 2211
» An Investigation of Generalized Cases
Sort
View
JOC
2007
84views more  JOC 2007»
15 years 7 months ago
Concurrent Composition of Secure Protocols in the Timing Model
In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their inputs. In the stand-alone case, it ha...
Yael Tauman Kalai, Yehuda Lindell, Manoj Prabhakar...
MODELLIERUNG
2004
15 years 8 months ago
CASE Support and Model-Based Development
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
Bernhard Schätz, Jan Romberg, Oscar Slotosch,...
FSE
2007
Springer
101views Cryptology» more  FSE 2007»
16 years 1 months ago
Generalized Correlation Analysis of Vectorial Boolean Functions
We investigate the security of n-bit to m-bit vectorial Boolean functions in stream ciphers. Such stream ciphers have higher throughput than those using single-bit output Boolean f...
Claude Carlet, Khoongming Khoo, Chu-Wee Lim, Chuan...
ATAL
2007
Springer
16 years 1 months ago
Executing multi-robot cases through a single coordinator
It is challenging to design general robot soccer coordination behaviors that address individual states. We have successfully followed a case-based approach to define behaviors fo...
Raquel Ros, Manuela M. Veloso
COLING
1992
15 years 8 months ago
An Alternative to Deep Case for Representing Relational Information
No one has come up with a completely satisfactory set of deep cases relations (or thematic relations). The underlying reason is that any finite set of case relations can capture o...
Nigel Ward