211 search results - page 31 / 43 » Safe Automotive Software Development |
EUROPKI
2005
Springer
14 years 3 months ago
2005
Springer
An enterprise (such as an institute of higher education) wishing to deploy PKI must choose between several options, all expensive and awkward. It might outsource certification to ...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
GI
2004
Springer
14 years 3 months ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
ISORC
2005
IEEE
14 years 3 months ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...
RE
2009
Springer
14 years 2 months ago
2009
Springer
Increasingly complex supplier-relationships dominate product development, independent of industries and products. Mostly the primary source of risks and later problems is insuffic...