Items where Schools and Departments is "Software Reliability" and Year is 2004
A
Alberdi, E., Povyakalo, A. A., Strigini, L. & Ayton, P. (2004). Effects of incorrect computer-aided detection (CAD) output on human decision-making in mammography. Academic Radiology, 11(8), pp. 909-918. doi: 10.1016/j.acra.2004.05.012
Alberdi, E., Taylor, P. & Lee, R. (2004). Elicitation and representation of expert knowledge for computer aided diagnosis in mammography. Methods of Information in Medicine, 43(03), pp. 239-246. doi: 10.1055/s-0038-1633864
G
Gacek, C. (2004). An interdisciplinary perspective of dependability in Open Source Software. In: Jacquart, R (Ed.), BUILDING THE INFORMATION SOCIETY. Building the Information Society, 22 - 27 August 2004, Toulouse, France.
Gashi, I., Popov, P. T., Stankovic, V. & Strigini, L. (2004). On designing dependable services with diverse off-the-shelf SQL servers. Lecture Notes in Computer Science, 3069, pp. 191-214. doi: 10.1007/978-3-540-25939-8_9
Gashi, I., Popov, P. T. & Strigini, L. (2004). Fault diversity among off-the-shelf SQL database servers. In: 2004 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS. International Conference on Dependable Systems and Networks, 28 Jun - 1 Jul 2004
L
Littlewood, B. & Bloomfield, R. E. (2004). On the use of diverse arguments to increase confidence in dependability claims. Paper presented at the International Conference on Control and Instrumentation in Nuclear Installations, 2004, Liverpool, UK.
Littlewood, B. & Strigini, L. (2004). Redundancy and diversity in security. In: Samarati, P, Ryan, P, Gollmann, D & Molva, R (Eds.), COMPUTER SECURITY ESORICS 2004, PROCEEDINGS. 9th European Symposium on Research in Computer Security, Sept 2004, Sophia Antipolis, France.
P
Popov, P. T. & Littlewood, B. (2004). The effect of testing on reliability of fault-tolerant software. In: International Conference on Dependable Systems and Networks, 2004. 2004 International Conference on dependable systems and networks, 28 Jun - 1 Jul 2004, Florence, Italy. doi: 10.1109/DSN.2004.1311896
S
Strigini, L. (2004). Formalism and judgement in assurance cases. Paper presented at the Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, held at International Conference on Dependable Systems and Networks (DSN 2004), Jun 2004, Florence, Italy.