21342 search results - page 390 / 4269 » Structured language modeling |
129
click to vote
EUROCRYPT
2006
Springer
15 years 8 months ago
2006
Springer
The holy grail of a mathematical model of secure encryption is to devise a model that is both faithful in its description of the real world, and yet admits a construction for an en...
106
Voted
FM
2008
Springer
15 years 6 months ago
2008
Springer
Modal
147
click to vote
PST
2008
15 years 6 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
185
Voted
BMCBI
2010
15 years 5 months ago
2010
Background: Computational comparison of two protein structures is the starting point of many methods that build on existing knowledge, such as structure modeling (including modeli...