2255 search results - page 359 / 451 » High Assurance Software Systems |
ACSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
Almost thirty years ago a vulnerability assessment of Multics identified significant vulnerabilities, despite the fact that Multics was more secure than other contemporary (and cu...
111
Voted
DSN
2002
IEEE
15 years 6 months ago
2002
IEEE
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
114
click to vote
EUROMICRO
2002
IEEE
15 years 6 months ago
2002
IEEE
Internet services like the world-wide web and multimedia applications like News- and Video-on-Demand have become very popular over the last years. Due to the large number of users ...
108
click to vote
CASES
2009
ACM
15 years 5 months ago
2009
ACM
Nanowire crossbar circuits are an emerging architectural paradigm that promises a higher integration density and an improved fault-tolerance due to its reconfigurability. In this...
97
Voted
ICRA
1994
IEEE
15 years 5 months ago
1994
IEEE
At the intersection of robotics, computational geometry, and manufacturingengineering, we have identifieda collection of research problems with near-term industrial applications. ...