Sciweavers

8903 search results - page 1533 / 1781
» Alternative
Sort
View
BIRTHDAY
2005
Springer
16 years 29 days ago
Splitting Logics
This paper addresses the question of factoring a logic into families of (generally simpler) components, estimating the top– down perspective, splitting, versus the bottom–up, s...
Walter Alexandre Carnielli, Marcelo E. Coniglio
CD
2005
Springer
16 years 29 days ago
Modelling Deployment Using Feature Descriptions and State Models for Component-Based Software Product Families
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
Slinger Jansen, Sjaak Brinkkemper
CHES
2005
Springer
155views Cryptology» more  CHES 2005»
16 years 29 days ago
Scalable Hardware for Sparse Systems of Linear Equations, with Applications to Integer Factorization
Motivated by the goal of factoring large integers using the Number Field Sieve, several special-purpose hardware designs have been recently proposed for solving large sparse system...
Willi Geiselmann, Adi Shamir, Rainer Steinwandt, E...
CLEF
2005
Springer
16 years 29 days ago
CLEF 2005: Multilingual Retrieval by Combining Multiple Multilingual Ranked Lists
: We participated in two tasks: Multi-8 two-years-on retrieval and Multi-8 results merging. For our multi-8 two-years-on retrieval work, simple multilingual ranked lists are first ...
Luo Si, Jamie Callan
CRYPTO
2005
Springer
113views Cryptology» more  CRYPTO 2005»
16 years 29 days ago
Secure Communications over Insecure Channels Based on Short Authenticated Strings
Abstract. We propose a way to establish peer-to-peer authenticated communications over an insecure channel by using an extra channel which can authenticate very short strings, e.g....
Serge Vaudenay
« Prev « First page 1533 / 1781 Last » Next »