677 search results - page 82 / 136 » Rigorous Object-Oriented Analysis |
103
Voted
CRYPTO
2010
Springer
15 years 1 months ago
2010
Springer
At the heart of many recent lattice-based cryptographic schemes is a polynomial-time algorithm that, given a `high-quality' basis, generates a lattice point according to a Ga...
103
click to vote
COMPSAC
2008
IEEE
15 years 29 days ago
2008
IEEE
Software evolution is characterized by inevitable changes of software and increasing software complexities, which in turn may lead to huge costs unless rigorously taking into acco...
98
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
`Approximate message passing' algorithms proved to be extremely effective in reconstructing sparse signals from a small number of incoherent linear measurements. Extensive num...
FUIN
2006
15 years 24 days ago
2006
Traditionally, due to efficiency considerations, when encrypting long messages using an asymmtric cryptosystem, one needs to use a symmetric cryptosystem in addition. To eliminate ...
SIAMAM
2008
15 years 22 days ago
2008
: Mesenchymal motion denotes a form of cell movement through tissue, which can be observed for certain cancer metastasis. In [11], a mathematical model for this form of movement wa...