Sciweavers

1000 search results - page 5 / 200
» order 2011
Sort
View
CORR
2011
Springer
128views Education» more  CORR 2011»
13 years 2 months ago
Order Optimal Information Spreading Using Algebraic Gossip
Chen Avin, Michael Borokhovich, Keren Censor-Hille...
DLOG
2011
13 years 2 months ago
Mapping Data to Higher-Order Description Logic Knowledge Bases
Floriana Di Pinto, Giuseppe De Giacomo, Maurizio L...
FROCOS
2011
Springer
12 years 10 months ago
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
Carsten Fuhs, Cynthia Kop
IACR
2011
84views more  IACR 2011»
12 years 10 months ago
Tools for Simulating Features of Composite Order Bilinear Groups in the Prime Order Setting
In this paper, we explore a general methodology for converting composite order pairingbased cryptosystems into the prime order setting. We employ the dual pairing vector space app...
Allison B. Lewko