Welcome to D
SIGMOD 2005
PODS 2005
SIGMOD-RECOR
CIDR 2005
CIKM 2005
COMAD 2005
CVDB 2005
DaMoN 2005
Data Enginee
DEBS05
DMSN 2005
DOLAP 2005
GIR 2005
GIS 2005
Hypertext 20
ICDE 2005
ICDM 2005
IHIS 2005
IQIS 2005
JCDL 2005
KRAS 2005
MDM 2005
MIR 2005
MobiDE 2005
P2PIR 2005
RIDE 2005
SBBD 2005
SIGIR 2005
SIGIR-FORUM
SIGKDD 2005
SIGKDD-EXP
SSDBM 2005
TIME 2005
TKDE 2005
TODS 2005
VLDB 2005
VLDBJ 2005
WebDB 2005
WIDM 2005
About DiSC 2
Editorial Bo
Acknowledgem
DiSC'06 Site
Search DiSC'
<<<Author Index>>>
Copyright No

Brian Randell

Papers on DiSC'06


The Atomic Manifesto: a Story in Four Quarks

Publications


Note: Links lead to the DBLP on the Web.

Brian Randell

Brian Randell, Peter Y. A. Ryan : Voting Technologies and Trust. Formal Aspects in Security and Trust 2005 : 1-4

Jeff Jianxin Yan , Brian Randell: A systematic classification of cheating in online games. NETGAMES 2005 : 1-9

Cliff B. Jones , David B. Lomet , Alexander B. Romanovsky , Gerhard Weikum , Alan Fekete , Marie-Claude Gaudel , Henry F. Korth , Rogério de Lemos , J. Eliot B. Moss , Ravi Rajwar , Krithi Ramamritham , Brian Randell, Luís Rodrigues : The atomic manifesto: a story in four quarks. Operating Systems Review 39 (2): 41-46 (2005)

Cliff B. Jones , David B. Lomet , Alexander B. Romanovsky , Gerhard Weikum , Alan Fekete , Marie-Claude Gaudel , Henry F. Korth , Rogério de Lemos , J. Eliot B. Moss , Ravi Rajwar , Krithi Ramamritham , Brian Randell, Luís Rodrigues : The atomic manifesto: a story in four quarks. SIGMOD Record 34 (1): 63-69 (2005)

Tom Anderson , Brian Randell, Alexander B. Romanovsky : Wrapping the future. IFIP Congress Topical Sessions 2004 : 165-174

Algirdas Avizienis , Jean-Claude Laprie , Brian Randell: Dependability and its threats - A taxonomy. IFIP Congress Topical Sessions 2004 : 91-120

Brian Randell: Dependable Pervasive Systems. SRDS 2004 : 2

Algirdas Avizienis , Jean-Claude Laprie , Brian Randell, Carl E. Landwehr : Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. Dependable Sec. Comput. 1 (1): 11-33 (2004)

Brian Randell: On Failures and Faults. FME 2003 : 18-39

Jie Xu , Brian Randell, Alexander B. Romanovsky : A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software. Symposium on Object-Oriented Real-Time Distributed Computing 2002 : 207-214

Jie Xu , Brian Randell, Alexander B. Romanovsky , Robert J. Stroud , Avelino F. Zorzo , Ercument Canver , Friedrich W. von Henke : Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. IEEE Trans. Computers 51 (2): 164-179 (2002)

John Dobson , Brian Randell: Building Reliable Secure Computing Systems out of Unreliable Insecure Components. ACSAC 2001 : 162-173

Delano M. Beder , Cecília M. F. Rubira , Brian Randell, Alexander B. Romanovsky : On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. ISORC 2001 : 103-112

Brian Randell: Turing Memorial Lecture Facing Up to Faults. Comput. J. 43 (2): 95-106 (2000)

Jie Xu , Alexander B. Romanovsky , Brian Randell: Concurrent Exception Handling and Resolution in Distributed Object Systems. IEEE Trans. Parallel Distrib. Syst. 11 (10): 1019-1032 (2000)

Delano M. Beder , Alexander B. Romanovsky , Brian Randell, C. Richard Snow , Robert J. Stroud : An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling. Operating Systems Review 34 (4): 21-31 (2000)

Jie Xu , Brian Randell, Alexander B. Romanovsky , Robert J. Stroud , Avelino F. Zorzo , Ercument Canver , Friedrich W. von Henke : Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. FTCS 1999 : 68-75

Brian Randell: Fault Tolerance in Decentralized Systems. ISADS 1999 : 174-

Avelino F. Zorzo , Alexander B. Romanovsky , Jie Xu , Brian Randell, Robert J. Stroud , Ian Welch : Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. Softw., Pract. Exper. 29 (8): 677-697 (1999)

Wendy Bartlett , Peter B. Ladkin , Derek Long , Brian Randell: Cyber Threats (Panel). FTCS 1998 : 104-106

Jie Xu , Alexander B. Romanovsky , Brian Randell: Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation. ICDCS 1998 : 12-21

Alexander B. Romanovsky , Jie Xu , Brian Randell: Exception Handling in Object-Oriented Real-Time Distributed Systems. ISORC 1998 : 32-42

R. Benjamin , B. Gladman , Brian Randell: Protecting IT Systems from Cyber Crime. Comput. J. 41 (7): 429-443 (1998)

Jie Xu , Alexander B. Romanovsky , Brian Randell: Exception Handling and Resolution in Distributed Object-oriented Systems. ICDCS 1996 : 545-553

Jie Xu , Brian Randell: Roll-forward error recovery in embedded real-time systems. ICPADS 1996 : 414-421

Jie Xu , Brian Randell, Alexander B. Romanovsky , Cecília M. F. Rubira , Robert J. Stroud , Zhixue Wu : Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery. FTCS 1995 : 499-508

Jean-Charles Fabre , Yves Deswarte , Brian Randell: Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach. EDCC 1994 : 21-38

Brian Randell: Some Lessons from the SW2000 Workshop. EDCC 1994 : 414-416

Santosh K. Shrivastava , Luigi V. Mancini , Brian Randell: The Duality of Fault-tolerant System Structures. Softw., Pract. Exper. 23 (7): 773-798 (1993)

Brian Randell: System Dependability. 25th Anniversary of INRIA 1992 : 21-50

Jean-Charles Fabre , Brian Randell: An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems. ESORICS 1992 : 193-208

Brian Randell: Coping with the Past. Operating Systems of the 90s and Beyond 1991 : 72-76

Brian Randell: Can Design Faults be Tolerated. IFIP Congress 1989 : 499

Santosh K. Shrivastava , Luigi V. Mancini , Brian Randell: On the Duality of Fault Tolerant System Structures. Experiences with Distributed Systems 1987 : 19-37

Lindsay F. Marshall , Robert J. Stroud , Brian Randell: Making distributed systems work: position paper for Amsterdam workshop. ACM SIGOPS European Workshop 1986

John E. Dobson , Brian Randell: Building Reliable Secure Computing Systems out of Unreliable Insecure Components. IEEE Symposium on Security and Privacy 1986 : 187-193

Brian Randell, John E. Dobson : Reliability and Security Issues in Distributed Computing Systems. Symposium on Reliability in Distributed Software and Database Systems 1986 : 113-118

Brian Randell: System Design and Structuring. Comput. J. 29 (4): 300-306 (1986)

Roy H. Campbell , Brian Randell: Error Recovery in Asynchronous Systems. IEEE Trans. Software Eng. 12 (8): 811-826 (1986)

Fabio Panzieri , Brian Randell: Interfacing UNIX to Data Communications Networks. IEEE Trans. Software Eng. 11 (10): 1016-1032 (1985)

John M. Rushby , Brian Randell: A Distributed Secure System. IEEE Symposium on Security and Privacy 1983 : 127-135

Brian Randell: Recursively Structured Distributed Computing Systems. Symposium on Reliability in Distributed Software and Database Systems 1983 : 3-11

David R. Brownbridge , Lindsay F. Marshall , Brian Randell: The Newcastle Connection or UNIXes of the World Unite! Softw., Pract. Exper. 12 (12): 1147-1162 (1982)

Eike Best , Brian Randell: A Formal Model of Atomicity in Asynchronous Systems. Acta Inf. 16 : 93-124 (1981)

Brian Randell: Software Engineering: As it was in 1968. ICSE 1979 : 1-10

Michael J. Flynn , Jim Gray , Anita K. Jones , Klaus Lagally , Holger Opderbeck , Gerald J. Popek , Brian Randell, Jerome H. Saltzer , Hans-Rüdiger Wiehle : Operating Systems, An Advanced Course Springer 1978

Brian Randell: Reliable Computing Systems. Advanced Course: Operating Systems 1978 : 282-391

Brian Randell, P. A. Lee , Philip C. Treleaven : Reliability Issues in Computing System Design. ACM Comput. Surv. 10 (2): 123-165 (1978)

P. M. Melliar-Smith , Brian Randell: Software Reliability: The Role of Programmed Exception Handling. Language Design for Reliable Software 1977 : 95-100

Brian Randell: System Structure for Software Fault Tolerance. IEEE Trans. Software Eng. 1 (2): 221-232 (1975)

James J. Horning , Hugh C. Lauer , P. M. Melliar-Smith , Brian Randell: A program structure for error detection and recovery. Symposium on Operating Systems 1974 : 171-187

James J. Horning , Brian Randell: Process Structuring. ACM Comput. Surv. 5 (1): 5-30 (1973)

Brian Randell: Operating Systems: The Problems of Performance and Reliability. IFIP Congress (1) 1971 : 281-290

Edward G. Coffman Jr. , Brian Randell: Performance Predictions for Extended Paged Memories Acta Inf. 1 : 1-13 (1971)

Brian Randell: Ludgate's Analytical Machine of 1909. Comput. J. 14 (3): 317-326 (1971)

Brian Randell: A note on storage fragmentation and program segmentation. Commun. ACM 12 (7): 365-369 (1969)

F. W. Zurcher , Brian Randell: Iterative multi-level modelling. A methodology for computer system design. IFIP Congress (2) 1968 : 867-871

Brian Randell, C. J. Kuehner : Dynamic storage allocation systems. Commun. ACM 11 (5): 297-306 (1968)

Brian Randell, L. J. Russell : Single-Scan Techniques for the Translation of Arithmetic Expressions into ALGOL 60. J. ACM 11 (2): 159-167 (1964)

Brian Randell, L. J. Russell : Certification of algorithms 63, 64 and 65, partition, quicksort, and find. Commun. ACM 6 (8): 446 (1963)

Brian Randell: Certification of Algorithm 50: Inverse of a finite segment of the Hilbert matrix. Commun. ACM 5 (1): 50 (1962)

Brian Randell, C. G. Broyden : Certification of Algorithm 66: INVRS. Commun. ACM 5 (1): 50 (1962)

Brian Randell: Remark on Algorithm 76: Sorting procedures. Commun. ACM 5 (6): 348 (1962)

1 [ 59 ]

2 [ 56 ] [ 58 ]

3 [ 44 ]

4 [ 48 ] [ 51 ]

5 [ 41 ]

6 [ 20 ]

7 [ 21 ]

8 [ 2 ]

9 [ 25 ]

10 [ 47 ] [ 53 ]

11 [ 10 ]

12 [ 37 ]

13 [ 52 ]

14 [ 27 ] [ 28 ]

15 [ 33 ] [ 37 ]

16 [ 60 ] [ 61 ]

17 [ 18 ]

18 [ 60 ] [ 61 ]

19 [ 41 ]

20 [ 18 ]

21 [ 47 ] [ 53 ]

22 [ 12 ] [ 13 ]

23 [ 18 ]

24 [ 60 ] [ 61 ]

25 [ 60 ] [ 61 ]

26 [ 6 ]

27 [ 44 ]

28 [ 18 ]

29 [ 56 ]

30 [ 56 ] [ 58 ]

31 [ 13 ]

32 [ 16 ]

33 [ 60 ] [ 61 ]

34 [ 60 ] [ 61 ]

35 [ 44 ]

36 [ 30 ] [ 35 ]

37 [ 21 ] [ 29 ]

38 [ 13 ] [ 15 ]

39 [ 60 ] [ 61 ]

40 [ 18 ]

41 [ 24 ]

42 [ 18 ]

43 [ 60 ] [ 61 ]

44 [ 60 ] [ 61 ]

45 [ 60 ] [ 61 ]

46 [ 38 ] [ 40 ] [ 42 ] [ 43 ] [ 45 ] [ 47 ] [ 48 ] [ 49 ] [ 51 ] [ 53 ] [ 54 ] [ 59 ] [ 60 ] [ 61 ]

47 [ 38 ] [ 51 ]

48 [ 23 ]

49 [ 4 ] [ 5 ]

50 [ 63 ]

51 [ 18 ]

52 [ 30 ] [ 35 ]

53 [ 48 ]

54 [ 29 ] [ 38 ] [ 45 ] [ 47 ] [ 48 ] [ 53 ]

55 [ 16 ]

56 [ 60 ] [ 61 ]

57 [ 45 ]

58 [ 18 ]

59 [ 38 ]

60 [ 38 ] [ 39 ] [ 40 ] [ 42 ] [ 43 ] [ 45 ] [ 47 ] [ 49 ] [ 53 ] [ 54 ]

61 [ 62 ]

62 [ 45 ] [ 47 ] [ 53 ]

63 [ 7 ]




©2006 Association for Computing Machinery