15253 search results - page 80 / 3051 » Integer-Programming Software Systems |
118
click to vote
COMPSAC
2010
IEEE
15 years 2 months 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...
HIPEAC
2009
Springer
15 years 11 months ago
2009
Springer
HIPEAC
2007
Springer
15 years 10 months ago
2007
Springer
COSPS
2001
Springer
15 years 8 months ago
2001
Springer
114
Voted
LCPC
2001
Springer
15 years 8 months ago
2001
Springer