Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Jones, Cliff B. (Επιμελητής έκδοσης), Lloyd, John L. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
• Σειρά: Lecture Notes in Computer Science, 6875
• Θέματα: Computer science.; Microprogramming.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer security.; Computers.; Computer Science.; History of Computing.; Operating Systems.; Systems and Data Security.; Control Structures and Microprogramming.; Software Engineering.; Programming Languages, Compilers, Interpreters.

This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday, contains a total of 37 refereed contributions. Two biographical papers are followed by the six invited papers that were presented at the conference 'Dependable and Historic Computing: The Randell...

Πίνακας περιεχομένων:

• 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).