Dependable and Historic Computing

Part A: Biographical -- What I Learned from Brian (Hermann Kopetz).- Brian Randell: A Biographical Note (John L. Lloyd and Tom Anderson).- Part B: Conference Papers -- On Building a Referee's Avatar (Algirdas Avizienis).- From Theory to Practice: The Invention of Programming, 1947-51 (Martin Campbell-Kelly).- Transactions: From Local Atomicity to Atomicity in the Cloud (David Lomet).- From DSS to MILS (John Rushby).- Pre-electronic Computing (Doron Swade).- Whetstone Wanderings (Brian Wichmann).- Part C: Contributed Papers -- Using Real-Time Road Traffic Data to Evaluate Congestion (Jean Bacon, Andrei Iu. Bejan, Alastair R. Beresford, David Evans, Richard J. Gibbens, and Ken Moody).- Fault Tolerant Autonomic Computing Systems in a Chemical Setting (Jean-Pierre Banatre, Christine Morin, and Thierry Priol).- Out of a Closet: The Early Years of the Computer Museum (Gordon Bell).- Timing Faults and Mixed Criticality Systems (Alan Burns and Sanjoy Baruah).- Professor Brian Randell and the History of Computing (Paul E. Ceruzzi).- Computer Storage Fragmentation: Pioneering Work of Brian Randell (Ed Coffman).- IBM-ACS: Reminiscences and Lessons Learned from a 1960's Supercomputer Project (Lynn Conway).- The Belgian Electronic Mathematical Machine (1951-1962): An Account (Pierre-Jacques Courtois).- On the Resilience of the Dependability Framework to the Intrusion of New Security Threats (Marc Dacier).- Virtual Fault Tolerance (Peter J. Denning).- Recovery Blocks (Tony Hoare).- The Development and Writing of "Process Structuring" (J.J. Horning).- A Tolerant Approach to Faults (Michael Jackson).- Causality in Structured Occurrence Nets (Jetty Kleijn and Maciej Koutny).- Diversity (John C. Knight).- Swords and Ploughshares: Connections between Computer Projects for War and Peace, 1945--55 (Simon Lavington).- The Evolution of the Arjuna Transaction Processing System (M.C. Little and S.K. Shrivastava).- Making Experiments Dependable (Roy Maxion).- Wallpaper Maps (M. Douglas McIlroy).- Incremental Design: Programming with Holes and Evolvers (Ron Morrison, Dharini Balasubramaniam, and Brian Warboys).- Carrying Goals to Newcastle: A Tribute to Brian Randell (Peter G. Neumann).- Distributed Computing in the 21st Century: Some Aspects of Cloud Computing (Fabio Panzieri, Ozalp Babaoglu, Stefano Ferretti, Vittorio Ghini, and Moreno Marzolla).- Software Engineering: Multi-person Development of Multi-version Programs (David Lorge Parnas).- Tolerance of Design Faults (David Powell, Jean Arlat, Yves Deswarte, and Karama Kanoun).- On the Implementation of Concurrent Objects (Michel Raynal).- Beyond Traces and Independence (Fred B. Schneider).- Socio-technical Complex Systems of Systems: Can We Justifiably Trust Their Resilience? (Luca Simoncini).- Safety, Security and Dependability in Crowd Computing (W_ladys_law M. Turski).- Achieving Dependability in Service-Oriented Systems (Jie Xu).