19003 search results - page 105 / 3801 » We Need Assurance! |
HASE
1999
IEEE
14 years 1 months ago
1999
IEEE
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
DAC
2007
ACM
14 years 1 months ago
2007
ACM
Using FPGAs, a designer can separate the design process from the manufacturing flow. Therefore, the owner of a sensitive design need not expose the design to possible theft and ta...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Software product management steers the success of a product in all its lifecycle stages by thoughtful application of planning, coordination, and control. The third international w...
AINA
2007
IEEE
14 years 3 months ago
2007
IEEE
Traditional security analyses are often geared towards cryptographic primitives or protocols. Although such analyses are absolutely necessary, they do not provide much insight for...
PADL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...