8499 search results - page 365 / 1700 » cans 2009 |
177
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
185
click to vote
ARC
2009
Springer
16 years 1 months ago
2009
Springer
Spiking Neural Networks (SNNs) model the biological functions of the human brain enabling neuro/computer scientists to investigate how arrays of neurons can be used to solve comput...
167
click to vote
ARC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present CCProc, a flexible cryptography coprocessor for symmetric-key algorithms. Based on an extensive analysis of many symmetric-key ciphers, includi...
182
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
170
click to vote
CTRSA
2009
Springer
16 years 1 months ago
2009
Springer
Digital Enhanced Cordless Telecommunications (DECT) is a standard for connecting cordless telephones to a fixed telecommunications network over a short range. The cryptographic al...