14824 search results - page 2379 / 2965 » Security - Introduction |
140
click to vote
OOPSLA
2009
Springer
16 years 17 days ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and ef...
143
click to vote
OOPSLA
2009
Springer
16 years 17 days ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
154
click to vote
OOPSLA
2009
Springer
16 years 17 days ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
171
click to vote
PAISI
2009
Springer
16 years 17 days ago
2009
Springer
Discovering a representative set of theme patterns from a large amount of text for interpreting their meaning has always been concerned by researches of both data mining and inform...
139
click to vote
IMC
2009
ACM
16 years 16 days ago
2009
ACM
We report on the aftermath of the discovery of a severe vulnerability in the Debian Linux version of OpenSSL. Systems affected by the bug generated predictable random numbers, mo...