5843 search results - page 344 / 1169 » Software Security in Practice |
167
click to vote
JOT
2008
15 years 6 months ago
2008
There was much interest at this year's Software Product Line Conference in how to combine agile and product line techniques. Agile teams seek to address change one product at...
199
click to vote
FMSD
2002
15 years 6 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
171
click to vote
ASPDAC
2012
ACM
14 years 2 months ago
2012
ACM
—Host-compiled simulation has been widely adopted as a practical approach for fast and high-level evaluation of complex software-intensive systems at early stages of the design p...
216
click to vote
MMSEC
2006
ACM
16 years 18 days ago
2006
ACM
This paper presents a theoretical security analysis of lattice data hiding. The security depends on the secrecy of a dither signal that randomizes the codebook. If the same secret...
162
click to vote
BSDCON
2003
15 years 8 months ago
2003
With the present trend towards increased reliance upon computer systems, the provision and prompt application of security patches is becoming vital. Developers of all operating sy...