Sciweavers

8903 search results - page 1533 / 1781
» Alternative
Sort
View
BIRTHDAY
2005
Springer
16 years 5 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 5 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 5 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 5 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 5 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 »