3801 search results - page 93 / 761 » An Approach to Modeling Software Safety |
148
Voted
CSMR
2004
IEEE
15 years 7 months ago
2004
IEEE
Outsourcing has become common practice in the software industry. Organizations routinely subcontract the maintenance of their software assets to specialized companies. A great cha...
219
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
Now that the use of garbage collection in languages like Java is becoming widely accepted due to the safety and software engineering benefits it provides, there is significant int...
108
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a divide-and-conquer method, called DiConic, for automatic addition of failsafe fault-tolerance to distributed programs, where a failsafe program guarantees to meet its...
112
Voted
RE
2007
Springer
15 years 10 months ago
2007
Springer
Trading-off is a familiar element in requirements practice, but it generally assumes a set of independent requirements competing for resources. Choosing a tram route depends inste...
141
click to vote
WOSP
2010
ACM
15 years 4 months ago
2010
ACM
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...