Sciweavers

9787 search results - page 1533 / 1958
» A Utile Function Optimizer
Sort
View
PROVSEC
2007
Springer
16 years 1 months ago
Decryptable Searchable Encryption
As such, public-key encryption with keyword search (a.k.a PEKS or searchable encryption) does not allow the recipient to decrypt keywords i.e. encryption is not invertible. This pa...
Thomas Fuhr, Pascal Paillier
RTA
2007
Springer
16 years 1 months ago
Intruders with Caps
In the analysis of cryptographic protocols, a treacherous set of terms is one from which an intruder can get access to what was intended to be secret, by adding on to the top of a ...
Siva Anantharaman, Paliath Narendran, Michaël...
SAT
2007
Springer
121views Hardware» more  SAT 2007»
16 years 1 months ago
MiniMaxSat: A New Weighted Max-SAT Solver
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as ...
Federico Heras, Javier Larrosa, Albert Oliveras
UIC
2007
Springer
16 years 1 months ago
Q+-Algorithm : An Enhanced RFID Tag Collision Arbitration Algorithm
Emerging applications of RFID require high efficiency of tag identification. Since passive tags have dumb functionality, the efficiency of tag identification in RFID system reli...
Donghwan Lee, Kyungkyu Kim, Wonjun Lee
WABI
2007
Springer
123views Bioinformatics» more  WABI 2007»
16 years 1 months ago
Inverse Sequence Alignment from Partial Examples
When aligning biological sequences, the choice of parameter values for the alignment scoring function is critical. Small changes in gap penalties, for example, can yield radically ...
Eagu Kim, John D. Kececioglu
« Prev « First page 1533 / 1958 Last » Next »