15253 search results - page 80 / 3051 » Integer-Programming Software Systems |
105
click to vote
COMPSAC
2010
IEEE
15 years 10 days ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
80
Voted
HIPEAC
2009
Springer
15 years 9 months ago
2009
Springer
HIPEAC
2007
Springer
15 years 8 months ago
2007
Springer
81
Voted
COSPS
2001
Springer
15 years 6 months ago
2001
Springer
LCPC
2001
Springer
15 years 6 months ago
2001
Springer