124 search results - page 10 / 25 » Software Safety: Where's the Evidence |
AROBOTS
1999
13 years 7 months ago
1999
Excavators are used for the rapid removal of soil and other materials in mines, quarries, and construction sites. The automation of these machines offers promise for increasing pro...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
KBSE
2007
IEEE
14 years 1 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...
EUSAI
2007
Springer
14 years 1 months ago
2007
Springer
We propose a software framework that augments context data with a range of assorted confidence/reputation metadata for dimensions such as security, privacy, safety, reliability, or...
TVCG
2010
13 years 5 months ago
2010
—Software tools that make it easier for analysts to collaborate as a natural part of their work will lead to better analysis that is informed by more perspectives. We are interes...