Sciweavers

15253 search results - page 231 / 3051
» Integer-Programming Software Systems
Sort
View
ISSRE
2008
IEEE
16 years 27 days ago
Assessing the Effect of Software Failures on Trust Assumptions
The contribution of this paper is a technique to assess whether software failures during operational use can invalidate the trust assumptions and, hence, the adequacy of the softw...
Qian Feng, Robyn R. Lutz
CASES
2001
ACM
15 years 10 months ago
A vision for embedded software
In this paper we describe a vision for the future evolution of Embedded SW (ESW) design methodologies as part of overall Embedded Systems (ES) development. Fundamentally, we belie...
Alberto L. Sangiovanni-Vincentelli, Grant Martin