9507 search results - page 147 / 1902 » Time-based language models |
140
Voted
JSS
2010
14 years 10 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
110
Voted
EUROCRYPT
2006
Springer
15 years 7 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...
93
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
Modal
136
Voted
PST
2008
15 years 5 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 ...