DIRC April 2004 Workshop, Newcastle

Paper Listings

Besnard, D. and Baxter, G. - Humans Compensating for Undependable Systems.

Hardstone, G., Voss, A. and Williams, R. - Towards a Broader Perspective on Dependability

Lock, R. - TRANSACT

Anderson, Dobson, G., Hall, Hughes, Sommerville - Dependable Grid Services: DIGS Initial Implementation Notes

Bryans, Littlewood, Ryan, Strigini - E-voting: design for dependability

Miguel, Wright, P. - CHLOE: A Technique for Analysing Collaborative Systems

Smith, S., Harrison, M., Baxter, G., - Investigating reuse quality in hazard assessment checklists

Povyakalo, A., Strigini, Alberdi, Ayton - Evaluating dependability of "human + advisory computer" systems: a case-study

Loer, K., Harrison, M., - Analysing and modelling context in mobile systems to support design

Blythe, M., Monk, A., - Net Neighbours: designing a dependable service

Hardstone, Hartswood, Proctor, Rees - Supporting informality: Team working and integrated care records

Gashi, I., Popov, P., Stankovic, V., - Advantages of Diversity for Off-The-Shelf Database Servers

M artin, D., Rouncefield, M., Sharrock, W., - Dependability and Responsibility: The Ladbroke Grove Rail Inquiry