Distributed Systems for System Architects

The distributed systems architect assembles pieces of hardware that are at least as large as a computer or a network router, and assigns pieces of software that are self-contained - such as Java applets - to those hardware components. As system complexity, size and diversity grow, the probability of inconsistency, unreliability, non-responsiveness and insecurity, increases. It is absolutely necessary for distributed systems architects to understand the management of such complex systems. Distributed Systems for System Architects addresses these issues.

[1]  Robert J. Stroud,et al.  Implementing fault tolerant applications using reflective object-oriented programming , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[2]  Leslie Lamport,et al.  Using Time Instead of Timeout for Fault-Tolerant Distributed Systems. , 1984, TOPL.

[3]  Russel Sandberg,et al.  The Sun Network Filesystem: Design, Implementation and Experience , 2001 .

[4]  Thomas Magedanz,et al.  Mobile software agents: a new paradigm for telecommunications management , 1996, Proceedings of NOMS '96 - IEEE Network Operations and Management Symposium.

[5]  Jean Arlat,et al.  Fault Injection for Dependability Validation: A Methodology and Some Applications , 1990, IEEE Trans. Software Eng..

[6]  Lui Sha,et al.  The real-time publisher/subscriber inter-process communication model for distributed real-time systems: design and implementation , 1995, Proceedings Real-Time Technology and Applications Symposium.

[7]  James Won-Ki Hong,et al.  Web-based intranet services and network management , 1997 .

[8]  Paulo Veríssimo,et al.  Timing failure detection and real-time group communication in quasi-synchronous systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.

[9]  Anupam Bhide,et al.  A Highly Available Network File Server , 1991, USENIX Winter.

[10]  Sanjoy Paul,et al.  RMTP: a reliable multicast transport protocol , 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

[11]  P. Reynier,et al.  Active replication in Delta-4 , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[12]  Ronald Cramer,et al.  The ESPRIT Project CAFE - High Security Digital Payment Systems , 1994, ESORICS.

[13]  C. Kenneth Miller,et al.  Multicast Networking and Applications , 1998 .

[14]  Kenneth P. Birman,et al.  Fast causal multicast , 1990, EW 4.

[15]  Henri E. Bal,et al.  Distributed Programming with Shared Data , 1991, Comput. Lang..

[16]  J. Pulido.  A Brief History of Time From the Big Bang to Black Holes , 1988 .

[17]  Roy A. Maxion,et al.  Improving software robustness with dependability cases , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

[18]  Abraham Silberschatz,et al.  Time-Constrained Transaction Management: Real-Time Constraints in Database Transaction Systems , 1996 .

[19]  Naranker Dulay,et al.  Regis: a constructive development environment for distributed programs , 1994, Distributed Syst. Eng..

[20]  Salah Aidarous,et al.  Telecommunications Network Management: Technologies and Implementations , 1997 .

[21]  Jörg Kaiser,et al.  Invocation of real-time objects in a CAN bus-system , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[22]  David R. Cheriton,et al.  Understanding the limitations of causally and totally ordered communication , 1994, SOSP '93.

[23]  Kenneth P. Birman,et al.  Reliable communication in the presence of failures , 1987, TOCS.

[24]  James P Anderson,et al.  Computer Security Technology Planning Study , 1972 .

[25]  Jörgen Hansson,et al.  Issues in Active Real-Time Databases , 1995, ARTDB.

[26]  Leslie Lamport,et al.  How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.

[27]  Willy Zwaenepoel,et al.  Manetho: Transparent Rollback-Recovery with Low Overhead, Limited Rollback, and Fast Output Commit , 1992, IEEE Trans. Computers.

[28]  Paulo Veríssimo,et al.  The Delta-4 approach to dependability in open distributed computing systems , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[29]  D. Kahn.  The codebreakers : the story of secret writing , 1968 .

[30]  John F. Wakerly,et al.  Error detecting codes, self-checking circuits and applications , 1978 .

[31]  José Rufino,et al.  A study on the inaccessibility characteristics of ISO 8802/4 token-bus LANs , 1992, [Proceedings] IEEE INFOCOM '92: The Conference on Computer Communications.

[32]  Dennis Shasha,et al.  The many faces of consensus in distributed systems , 1992, Computer.

[33]  Subrata Mazumdar.  Inter-Domain Management between CORBA and SNMP : WEB-based Management - CORBA/SNMP Gateway Approach , 1996 .

[34]  Andrew Birrell,et al.  Implementing remote procedure calls , 1984, TOCS.

[35]  David Powell,et al.  Failure mode assumptions and assumption coverage , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[36]  Nelson Minar.  A Survey of the NTP Network , 1999 .

[37]  Raphael Rom,et al.  A Reconfiguration Algorithm for a Double-Loop Token-Ring Local Area Network , 1988, IEEE Trans. Computers.

[38]  P. M. Melliar-Smith,et al.  Synchronizing clocks in the presence of faults , 1985, JACM.

[39]  Phillip A. Laplante,et al.  Real-time systems design and analysis - an engineer's handbook , 1992 .

[40]  Flaviu Cristian,et al.  Fail-awareness: an approach to construct fail-safe applications , 1997, Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.

[41]  James R. Goodman,et al.  Cache Consistency and Sequential Consistency , 1991 .

[42]  Richard D. Regan,et al.  Availability in Parallel Systems: Automatic Process Restart , 1997, IBM Syst. J..

[43]  Nancy P. Kronenberg,et al.  VAXcluster: a closely-coupled distributed system , 1986, TOCS.

[44]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[45]  Xuejia Lai,et al.  On the design and security of block ciphers , 1992 .

[46]  염흥렬,et al.  [서평]「Applied Cryptography」 , 1997 .

[47]  E DenningDorothy,et al.  Timestamps in key distribution protocols , 1981 .

[48]  Rachid Guerraoui,et al.  Exploiting Atomic Broadcast in Replicated Databases , 1998, Euro-Par.

[49]  John A. Stankovic,et al.  Misconceptions About Real-Time Computing , 1988, Computer.

[50]  Kang G. Shin,et al.  HARTS: a distributed real-time architecture , 1991, Computer.

[51]  Hideyuki Tokuda,et al.  Real-Time Mach: Towards a Predictable Real-Time System , 1990, USENIX MACH Symposium.

[52]  Danny Dolev,et al.  Fault-tolerant clock synchronization , 1984, PODC '84.

[53]  Kang G. Shin,et al.  Fault-tolerant real-time communication in distributed computing systems , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[54]  Andrew S. Tanenbaum,et al.  Distributed operating systems , 2009, CSUR.

[55]  Fred Halsall,et al.  Data communications, computer networks and open systems (3. ed.) , 1995, Electronic-systems engineering series.

[56]  T. Zhang.  Java-based Mobile Intelligent Agents as Network Management Solutions , 1997 .

[57]  Krithi Ramamritham,et al.  The Origin of TCs , 1995, ARTDB.

[58]  Dorothy E. Denning,et al.  A lattice model of secure information flow , 1976, CACM.

[59]  Paulo Veríssimo,et al.  Totally ordered multicast in large-scale systems , 1996, Proceedings of 16th International Conference on Distributed Computing Systems.

[60]  Hermann Kopetz,et al.  Clock Synchronization in Distributed Real-Time Systems , 1987, IEEE Transactions on Computers.

[61]  D. Wilson.  The STRATUS computer system , 1986 .

[62]  Mostafa H. Ammar,et al.  The Grid Protocol: A High Performance Scheme for Maintaining Replicated Data , 1992, IEEE Trans. Knowl. Data Eng..

[63]  David R. Cheriton,et al.  Decentralizing a global naming service for improved performance and fault tolerance , 1989, TOCS.

[64]  Jehan-François Pâris,et al.  Dynamic management of highly replicated data , 1992, [1992] Proceedings 11th Symposium on Reliable Distributed Systems.

[65]  Christine Morin,et al.  Towards distributed and dynamic networks management , 1998, NOMS 98 1998 IEEE Network Operations and Management Symposium.

[66]  Keith Marzullo,et al.  Tolerating failures of continuous-valued sensors , 1990, TOCS.

[67]  Liuba Shrira,et al.  Efficient Recovery in Harp , 1992, Workshop on the Management of Replicated Data.

[68]  K. S. Watson,et al.  TOKEN BUS PERFORMANCE IN MAP AND PROWAY , 1987 .

[69]  P. Pleinevaux,et al.  Time critical communication networks: field buses , 1988, IEEE Network.

[70]  B. Clifford Neuman,et al.  A note on the use of timestamps as nonces , 1993, OPSR.

[71]  A. Fleischmann.  Distributed Systems , 1994, Springer Berlin Heidelberg.

[72]  Mustaque Ahamad,et al.  Implementing and programming causal distributed shared memory , 1991, [1991] Proceedings. 11th International Conference on Distributed Computing Systems.

[73]  Flaviu Cristian,et al.  Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement , 1995, Inf. Comput..

[74]  K. J. Bma.  Integrity considerations for secure computer systems , 1977 .

[75]  Gordon S. Blair,et al.  Quality of service management in distributed systems , 1994 .

[76]  Ntt Laboratorics,et al.  Universal Electronic Cash , 1992 .

[77]  Alfred C. Weaver,et al.  The utilization of priorities on token ring networks , 1988, Proceedings [1988] 13th Conference on Local Computer Networks.

[78]  Divyakant Agrawal,et al.  An efficient and fault-tolerant solution for distributed mutual exclusion , 1991, TOCS.

[79]  Ozalp Babaoglu,et al.  Consistent global states of distributed systems: fundamental concepts and mechanisms , 1993 .

[80]  Dieter Gollmann.  On the Verification of Cryptographic Protocols - A Tale of Two Committees , 2000, Electron. Notes Theor. Comput. Sci..

[81]  Philip R. Zimmermann,et al.  The official PGP user's guide , 1996 .

[82]  John Heidemann,et al.  Name transparency in very large scale distributed file systems , 1990, IEEE Workshop on Experimental Distributed Systems.

[83]  Danny Dolev,et al.  On the security of public key protocols , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

[84]  Dale Skeen.  Determining the last process to fail , 1983, PODS '83.

[85]  André Schiper,et al.  Lightweight causal and atomic group multicast , 1991, TOCS.

[86]  Andrew T. Campbell,et al.  A survey of QoS architectures , 1998, Multimedia Systems.

[87]  Flaviu Cristian,et al.  Fault-tolerance in air traffic control systems , 1996, TOCS.

[88]  Deborah Estrin,et al.  The PIM architecture for wide-area multicast routing , 1996, TNET.

[89]  Uyless Black.  Data link protocols , 1993 .

[90]  David Powell,et al.  Distributed fault tolerance: lessons from Delta-4 , 1994, IEEE Micro.

[91]  James Won-Ki Hong,et al.  A CORBA-based quality of service management framework for distributed multimedia services and applications , 1999, IEEE Netw..

[92]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[93]  Paulo Veríssimo,et al.  The Delta-4 extra performance architecture (XPA) , 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.

[94]  Gordon S. Blair,et al.  Developing Adaptive Applications: The MOST Experience , 1999, Integr. Comput. Aided Eng..

[95]  Jo-Mei Chang,et al.  Reliable broadcast protocols , 1984, TOCS.

[96]  Farnam Jahanian,et al.  An extensible probe architecture for network protocol performance measurement , 1998, SIGCOMM '98.

[97]  Joseph Y.-T. Leung,et al.  On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.

[98]  Anoop Gupta,et al.  Memory consistency and event ordering in scalable shared-memory multiprocessors , 1990, ISCA '90.

[99]  Paul D. Ezhilchelvan,et al.  Flow Control Schemes for a Fault-Tolerant Multicast Protocol , 1995 .

[100]  David Powell.  Extra Performance Architecture (XPA) , 1991 .

[101]  Richard D. Schlichting,et al.  Fault-Tolerant Broadcasts , 1984, Sci. Comput. Program..

[102]  Adi Shamir,et al.  A method for obtaining digital signatures and public-key cryptosystems , 1978, CACM.

[103]  Frank Siqueira,et al.  An open QoS architecture for CORBA applications , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[104]  Li Ming,et al.  How hard is hard real-time communication on field-buses? , 1997, Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.

[105]  Kevin Jeffay.  The real-time producer/consumer paradigm: a paradigm for the construction of efficient, predictable real-time systems , 1993, SAC '93.

[106]  Riccardo Gusella,et al.  The Accuracy of the Clock Synchronization Achieved by TEMPO in Berkeley UNIX 4.3BSD , 1987, IEEE Trans. Software Eng..

[107]  Charles U. Martel,et al.  On non-preemptive scheduling of period and sporadic tasks , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[108]  Silvano Gai,et al.  Exploiting Code Mobility in Decentralized and Flexible Network Management , 1997, Mobile Agents.

[109]  Adi Shamir,et al.  How to expose an eavesdropper , 1984, CACM.

[110]  Antonio Casimiro,et al.  The timely computing base: Timely actions in the presence of uncertain timeliness , 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.

[111]  Leslie Lamport,et al.  The Implementation of Reliable Distributed Multiprocess Systems , 1978, Comput. Networks.

[112]  Kang G. Shin,et al.  End-host architecture for QoS-adaptive communication , 1998, Proceedings. Fourth IEEE Real-Time Technology and Applications Symposium (Cat. No.98TB100245).

[113]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[114]  J. P. Thompson.  Web-based enterprise management architecture , 1998 .

[115]  John F. Meyer,et al.  Performability: A Retrospective and Some Pointers to the Future , 1992, Perform. Evaluation.

[116]  Keith Marzullo,et al.  Maintaining the time in a distributed system , 1985, OPSR.

[117]  Seán Baker.  CORBA distributed objects - using ORBIX , 1997 .

[118]  Michel Raynal,et al.  Atomic broadcast in asynchronous crash-recovery distributed systems , 2000, Proceedings 20th IEEE International Conference on Distributed Computing Systems.

[119]  Leslie Lamport,et al.  Distributed snapshots: determining global states of distributed systems , 1985, TOCS.

[120]  Roger M. Needham,et al.  Cryptography and secure channels , 1993 .

[121]  Paulo Veríssimo.  Redundant media mechanisms for dependable communication in token-bus LANs , 1988, Proceedings [1988] 13th Conference on Local Computer Networks.

[122]  Nathan J. Muller,et al.  Improving Network Operations With Intelligent Agents , 1997, Int. J. Netw. Manag..

[123]  André Schiper,et al.  The Causal Ordering Abstraction and a Simple Way to Implement it , 1991, Inf. Process. Lett..

[124]  Valerie Quercia,et al.  Webmaster in a Nutshell , 1996 .

[125]  David L. Mills,et al.  Internet time synchronization: the network time protocol , 1991, IEEE Trans. Commun..

[126]  Paulo Veríssimo,et al.  Reliable broadcast for fault-tolerance on local computer networks , 1990, Proceedings Ninth Symposium on Reliable Distributed Systems.

[127]  Morrie Gasser,et al.  Security Kernel Design and Implementation: An Introduction , 1983, Computer.

[128]  Louise E. Moser,et al.  The Totem system , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[129]  Chien-Chung Shen,et al.  The manager/agency paradigm for distributed network management , 1996, Proceedings of NOMS '96 - IEEE Network Operations and Management Symposium.

[130]  Divyakant Agrawal,et al.  Efficient techniques for replicated data management , 1990, [1990] Proceedings. Workshop on the Management of Replicated Data.

[131]  Nicolas Rivierre,et al.  Real-time communications over broadcast networks : the CSMA-DCR and the DOD-CSMA-CD protocols , 1993 .

[132]  Dan S. Wallach,et al.  Web Spoofing: An Internet Con Game , 1997 .

[133]  Rami G. Melhem,et al.  Analysis of a fault-tolerant multiprocessor scheduling algorithm , 1994, Proceedings of IEEE 24th International Symposium on Fault- Tolerant Computing.

[134]  Nicholas Carriero,et al.  The S/Net's Linda kernel , 1986, TOCS.

[135]  Paulo Veríssimo,et al.  Real time and dependability concepts , 1993 .

[136]  Louise E. Moser,et al.  Extended virtual synchrony , 1994, 14th International Conference on Distributed Computing Systems.

[137]  Butler W. Lampson,et al.  Distributed Systems - Architecture and Implementation, An Advanced Course , 1981, Advanced Course: Distributed Systems.

[138]  B. Lampson,et al.  Authentication in distributed systems: theory and practice , 1991, TOCS.

[139]  Rachid Guerraoui,et al.  Consensus in Asynchronous Distributed Systems: A Concise Guided Tour , 1999, Advances in Distributed Systems.

[140]  Maurice Herlihy,et al.  Linearizability: a correctness condition for concurrent objects , 1990, TOPL.

[141]  Andy J. Wellings,et al.  GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems , 1997, IEEE Trans. Parallel Distributed Syst..

[142]  Randy H. Katz,et al.  A case for redundant arrays of inexpensive disks (RAID) , 1988, SIGMOD '88.

[143]  William Stallings,et al.  Cryptography and Network Security: Principles and Practice , 1998 .

[144]  Harvey M. Deitel,et al.  Internet and World Wide Web: How to Program with Cdrom , 1999 .

[145]  John Linn,et al.  Privacy enhancement for Internet electronic mail: Part I: Message encipherment and authentication procedures , 1989, RFC.

[146]  Robin Fairbairns,et al.  The Design and Implementation of an Operating System to Support Distributed Multimedia Applications , 1996, IEEE J. Sel. Areas Commun..

[147]  I. Bey,et al.  Delta-4: A Generic Architecture for Dependable Distributed Computing , 1991, Research Reports ESPRIT.

[148]  J. Xu,et al.  Toward an object-oriented approach to software fault tolerance , 1994, Proceedings of IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems.

[149]  David K. Gifford,et al.  Weighted voting for replicated data , 1979, SOSP '79.

[150]  H. U. Steusloff.  G11.2 : The Impact of Distributed Computer Control Systems on Software , 1980 .

[151]  Richard D. Schlichting,et al.  Preserving and using context information in interprocess communication , 1989, TOCS.

[152]  Fred B. Schneider,et al.  Understanding Protocols for Byzantine Clock Synchronization , 1987 .

[153]  Robbert van Renesse,et al.  Horus: a flexible group communication system , 1996, CACM.

[154]  Naranker Dulay,et al.  Structuring parallel and distributed programs , 1993, Softw. Eng. J..

[155]  P. Veríssimo,et al.  Time, clocks and temporal order , 1999 .

[156]  Martin E. Hellman,et al.  On the security of multiple encryption , 1981, CACM.

[157]  Christian Jahl.  The information technology security evaluation criteria , 1991, [1991 Proceedings] 13th International Conference on Software Engineering.

[158]  William C. Carter,et al.  Design of dynamically checked computers , 1968, IFIP Congress.

[159]  Rachid Guerraoui,et al.  The design of a CORBA group communication service , 1996, Proceedings 15th Symposium on Reliable Distributed Systems.

[160]  L. Alvisi,et al.  Nonblocking and Orphan-Free Message Logging Protocols , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

[161]  Mordechai Ben-Ari,et al.  Principles of concurrent and distributed programming , 2005, PHI Series in computer science.

[162]  Morris Sloman,et al.  Configuration management for distributed software services , 1995, Integrated Network Management.

[163]  Heiko Krumm,et al.  Verification of UML-based real-time system designs by means of cTLA , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[164]  Robert H. Thomas,et al.  A Majority consensus approach to concurrency control for multiple copy databases , 1979, ACM Trans. Database Syst..

[165]  Radia J. Perlman,et al.  Network security - private communication in a public world , 2002, Prentice Hall series in computer networking and distributed systems.

[166]  Paulo Veríssimo,et al.  Topology-Aware Algorithms for Large-Scale Communication , 1999, Advances in Distributed Systems.

[167]  Roger M. Needham,et al.  Authentication revisited , 1987, OPSR.

[168]  Krithi Ramamritham,et al.  The Spring kernel: a new paradigm for real-time systems , 1991, IEEE Software.

[169]  Fred B. Schneider,et al.  Replication management using the state-machine approach , 1993 .

[170]  Paulo Veríssimo,et al.  AMp: a highly parallel atomic multicast protocol , 1989, SIGCOMM '89.

[171]  Yair Amir,et al.  Transis: A Communication Sub-system for High Availability , 1992 .

[172]  Bernd J. Krämer,et al.  Towards a Comprehensive Distributed Systems Management , 1995 .

[173]  Özalp Babaoglu,et al.  On the reliability of consensus-based fault-tolerant distributed computing systems , 1987, TOCS.

[174]  Newtop: a fault-tolerant group communication protocol , 1995, Proceedings of 15th International Conference on Distributed Computing Systems.

[175]  Alfred C. Weaver,et al.  Setting target rotation times in an IEEE token bus network , 1988 .

[176]  Burton S. Kaliski.  A survey of encryption standards , 1993, IEEE Micro.

[177]  Alfredo C. S. C. Brites,et al.  A High-Level Notation For The Specification Of Network Management Applications , 1994 .

[178]  Gene Tsudik,et al.  CLIQUES: a new approach to group key agreement , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[179]  A. Hachiga,et al.  The Concepts and Technologies of Dependable and Real-time Computer Systems for Shinkansen Train Control , 1993 .

[180]  Henry Mintzberg.  Mintzberg on management : inside our strange world of organizations , 1991 .

[181]  Marc D. Abrams,et al.  World Wide Web: beyond the basics , 1998 .

[182]  Peter A. Barrett,et al.  Using passive replicates in Delta-4 to provide dependable distributed computing , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[183]  Ahmad-Reza Sadeghi,et al.  Electronic Payment Systems , 2003, Digital Rights Management.

[184]  Bernd Hedenetz,et al.  A development framework for ultra-dependable automotive systems based on a time-triggered architecture , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[185]  Gerhard Fohler,et al.  Joint scheduling of distributed complex periodic and hard aperiodic tasks in statically scheduled systems , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[186]  Chris J. Walter,et al.  The MAFT Architecture for Distributed Fault Tolerance , 1988, IEEE Trans. Computers.

[187]  André Schiper,et al.  Scalable atomic multicast , 1998, Proceedings 7th International Conference on Computer Communications and Networks (Cat. No.98EX226).

[188]  Robbert van Renesse,et al.  Reliable Distributed Computing with the Isis Toolkit , 1994 .

[189]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[190]  Flaviu Cristian,et al.  Abstractions for Fault-Tolerance , 1994, IFIP Congress.

[191]  Fred B. Schneider,et al.  The primary-backup approach , 1993 .

[192]  J. van Leeuwen,et al.  Information Security , 2003, Lecture Notes in Computer Science.

[193]  C.S. Hood,et al.  Probabilistic network fault detection , 1996, Proceedings of GLOBECOM'96. 1996 IEEE Global Telecommunications Conference.

[194]  F. Dupuy,et al.  The TINA consortium: toward networking telecommunications information services , 1995 .

[195]  Sanjoy Paul,et al.  Multicasting on the Internet and its Applications , 1998, Springer US.

[196]  Francis W. Hallahan,et al.  Shop Floor Control Systems , 1991 .

[197]  David R. Cheriton,et al.  Leases: an efficient fault-tolerant mechanism for distributed file cache consistency , 1989, SOSP '89.

[198]  Shivakant Mishra,et al.  Abstractions for Constructing Dependable Distributed Systems , 1992 .

[199]  Yves Deswarte,et al.  An authorization scheme for distributed object systems , 1997, Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097).

[200]  Alan Burns,et al.  Calculating controller area network (can) message response times , 1994 .

[201]  J.W.S. Liu,et al.  How well can data temporal consistency be maintained? , 1992, IEEE Symposium on Computer-Aided Control System Design.

[202]  Hector Garcia-Molina,et al.  Ordered and reliable multicast communication , 1991, TOCS.

[203]  Avelino Francisco Zorzo,et al.  Rigorous development of a safety-critical system based on coordinated atomic actions , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[204]  Tim Berners-Lee,et al.  WorldWideWeb : proposal for a HyperText Project , 1990 .

[205]  Richard A. Golding.  Weak consistency group communication for wide-area systems , 1992, [1992 Proceedings] Second Workshop on the Management of Replicated Data.

[206]  Pankaj Jalote,et al.  Fault tolerance in distributed systems , 1994 .

[207]  David D. Clark,et al.  A Comparison of Commercial and Military Computer Security Policies , 1987, 1987 IEEE Symposium on Security and Privacy.

[208]  Paulo Veríssimo,et al.  A replication-transparent remote invocation protocol , 1994, Proceedings of IEEE 13th Symposium on Reliable Distributed Systems.

[209]  I M King,et al.  Planning for change , 2020, A New World-System.

[210]  Yves Deswarte,et al.  SQUALE Dependability Assessment Criteria , 1999, SAFECOMP.

[211]  Mark Garland Hayden,et al.  The Ensemble System , 1998 .

[212]  L. DiPippo,et al.  Real-Time Databases , 1995 .

[213]  Steven M. Bellovin,et al.  Encrypted key exchange: password-based protocols secure against dictionary attacks , 1992, Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy.

[214]  Ralph C. Merkle,et al.  Secure communications over insecure channels , 1978, CACM.

[215]  Marco Roccetti,et al.  Responsive Protocols for Distributed Multimedia Applications , 1999, Advances in Distributed Systems.

[216]  Michel Riveill,et al.  Distributed application configuration , 1996, Proceedings of 16th International Conference on Distributed Computing Systems.

[217]  Gary McGraw,et al.  Java security - hostile applets, holes and antidotes: what every netscape and internet explorer user needs to know , 1997 .

[218]  Jim Gray,et al.  Why Do Computers Stop and What Can Be Done About It? , 1986, Symposium on Reliability in Distributed Software and Database Systems.

[219]  Brian Randell,et al.  System structure for software fault tolerance , 1975, IEEE Transactions on Software Engineering.

[220]  Allan Leinwand,et al.  Network Management: A Practical Perspective , 1993 .

[221]  Nuno Neves,et al.  RENEW: a tool for fast and efficient implementation of checkpoint protocols , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

[222]  W. Kent Fuchs,et al.  Optimistic message logging for independent checkpointing in message-passing systems , 1992, [1992] Proceedings 11th Symposium on Reliable Distributed Systems.

[223]  GERNOT METZE,et al.  On the Connection Assignment Problem of Diagnosable Systems , 1967, IEEE Trans. Electron. Comput..

[224]  David Chaum,et al.  Achieving Electronic Privacy , 1992 .

[225]  Marc Shapiro,et al.  Structure and Encapsulation in Distributed Systems: The Proxy Principle , 1986, ICDCS.

[226]  Michael Goldsmith,et al.  Modelling and analysis of security protocols , 2001 .

[227]  Thomas Thurner,et al.  Time-triggered architecture for safety-related distributed real-time systems in transportation systems , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

[228]  Joseph Y. Halpern,et al.  Knowledge and common knowledge in a distributed environment , 1984, JACM.

[229]  Hermann Kopetz,et al.  Distributed fault-tolerant real-time systems: the Mars approach , 1989, IEEE Micro.

[230]  Konrad Slind,et al.  Monitoring distributed systems , 1987, TOCS.

[231]  Alwyn Langsford.  OSI management model and standards , 1994 .

[232]  Alan Burns,et al.  Adding local priority-based dispatching mechanisms to P-NET networks: a fixed priority approach , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[233]  Sebastian Abeck,et al.  Integrated network and system management , 1994 .

[234]  Gustavo Alonso,et al.  Processing transactions over optimistic atomic broadcast protocols , 1999, Proceedings. 19th IEEE International Conference on Distributed Computing Systems (Cat. No.99CB37003).

[235]  Katherine Guo,et al.  Dynamic Light-Weight Groups , 1997, Proceedings of 17th International Conference on Distributed Computing Systems.

[236]  Ashok K. Agrawala,et al.  Design and implementation of Maruti-II , 1993 .

[237]  Mark D. Wood.  Replicated RPC using Amoeba closed group communication , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[238]  Danny Dolev,et al.  Early delivery totally ordered multicast in asynchronous environments , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[239]  Miguel Castro,et al.  Providing Persistent Objects in Distributed Systems , 1999, ECOOP.

[240]  S. Hayes.  Analyzing network performance management , 1993, IEEE Communications Magazine.

[241]  Dave Zeltserman,et al.  Building network management tools with Tcl/Tk , 1998 .

[242]  Andrew S. Tanenbaum,et al.  Group communication in the Amoeba distributed operating system , 1991, [1991] Proceedings. 11th International Conference on Distributed Computing Systems.

[243]  Stephen S. Yau,et al.  Component customization for object-oriented distributed real-time software development , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[244]  Paul H. Levine,et al.  The Apollo DOMAIN Distributed File System , 1987 .

[245]  Willy Zwaenepoel,et al.  Distributed process groups in the V Kernel , 1985, TOCS.

[246]  Ronald L. Rivest,et al.  The MD5 Message-Digest Algorithm , 1992, RFC.

[247]  Neil Audsley,et al.  Flexible Scheduling in Hard Real-Time Systems , 1993 .

[248]  Hermann Kopetz,et al.  TTP - A time-triggered protocol for fault-tolerant real-time systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[249]  Louise E. Moser,et al.  Dynamic scheduling for soft real-time distributed object systems , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[250]  Michael K. Reiter,et al.  Distributing trust with the Rampart toolkit , 1996, CACM.

[251]  Nancy A. Lynch,et al.  An Upper and Lower Bound for Clock Synchronization , 1984, Inf. Control..

[252]  Dale Skeen,et al.  The Information Bus: an architecture for extensible distributed systems , 1994, SOSP '93.

[253]  Luca Deri,et al.  Static vs. Dynamic CMIP/SNMP Network Management Using CORBA , 1997, IS&N.

[254]  Ross J. Anderson,et al.  Robustness Principles for Public Key Protocols , 1995, CRYPTO.

[255]  Michael K. Reiter,et al.  Byzantine quorum systems , 1997, STOC '97.

[256]  Robert E. Strom,et al.  Optimistic recovery in distributed systems , 1985, TOCS.

[257]  Silvio Micali,et al.  Fair Public-Key Cryptosystems , 1992, CRYPTO.

[258]  Ashok K. Agrawala,et al.  An optimal algorithm for mutual exclusion in computer networks , 1981, CACM.

[259]  K.H. Kim,et al.  A highly decentralized implementation model for the programmer-transparent coordination (PTC) scheme for cooperative recovery , 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.

[260]  Shivakant Mishra,et al.  Consul: a communication substrate for fault-tolerant distributed programs , 1993, Distributed Syst. Eng..

[261]  Leslie Lamport,et al.  Reaching Agreement in the Presence of Faults , 1980, JACM.

[262]  Miguel Castro,et al.  Distributed shared object memory , 1993, Proceedings of IEEE 4th Workshop on Workstation Operating Systems. WWOS-III.

[263]  M. Sloman.  Network and distributed systems management , 1994 .

[264]  Hector Garcia-Molina,et al.  How to assign votes in a distributed system , 1985, JACM.

[265]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[266]  Mario Barbacci,et al.  Durra: a structure description language for developing distributed applications , 1993, Softw. Eng. J..

[267]  Stefan Brands,et al.  Electronic cash on the Internet , 1995, Proceedings of the Symposium on Network and Distributed System Security.

[268]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[269]  Akkihebbal L. Ananda,et al.  A survey of asynchronous remote procedure calls , 1992, OPSR.

[270]  Paulo Veríssimo,et al.  Fast Group Communication for Standard Workstations , 2000 .

[271]  Lui Sha,et al.  Limitations of Ada for real-time scheduling , 1987, IRTAW '87.

[272]  Algirdas Avizienis,et al.  Software Fault Tolerance , 1989, IFIP Congress.

[273]  Artur Romão.  Tools for DNS debugging , 1994, RFC.

[274]  Farnam Jahanian,et al.  Strong, weak and hybrid group membership , 1992, [1992 Proceedings] Second Workshop on the Management of Replicated Data.

[275]  Marvin H. Solomon,et al.  The CSNET Name Server , 1982, Comput. Networks.

[276]  Li Gong,et al.  A security risk of depending on synchronized clocks , 1992, OPSR.

[277]  H. Zimmermann,et al.  OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection , 1980, IEEE Transactions on Communications.

[278]  Mahadev Satyanarayanan,et al.  Andrew: a distributed personal computing environment , 1986, CACM.

[279]  Stefan Poledna,et al.  Fault-tolerant real-time systems - the problem of replica determinism , 1996, The Kluwer international series in engineering and computer science.

[280]  Gianluca Dini,et al.  Programming Partition-Aware Network Applications , 1999, Advances in Distributed Systems.

[281]  Eric C. Cooper.  Replicated distributed programs , 1985, SOSP '85.

[282]  Danny Dolev,et al.  On the minimal synchronism needed for distributed consensus , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[283]  Whitfield Diffie,et al.  New Directions in Cryptography , 1976, IEEE Trans. Inf. Theory.

[284]  Roger M. Needham,et al.  Using encryption for authentication in large networks of computers , 1978, CACM.

[285]  Juan R. Pimentel,et al.  Communication Networks for Manufacturing , 1990 .

[286]  Kang G. Shin,et al.  Non-preemptive scheduling of messages on controller area network for real-time control applications , 1995, Proceedings Real-Time Technology and Applications Symposium.

[287]  José Rufino,et al.  A Columbus' egg idea for CAN media redundancy , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[288]  M. M. Hugue,et al.  Synchronization Issues in Real-Time , 1994 .

[289]  Aloysius Ka-Lau Mok,et al.  Fundamental design problems of distributed systems for the hard-real-time environment , 1983 .

[290]  Krithi Ramamritham,et al.  Distributed Scheduling of Tasks with Deadlines and Resource Requirements , 1989, IEEE Trans. Computers.

[291]  Leslie Lamport,et al.  The Byzantine Generals Problem , 1982, TOPL.

[292]  Lars C. Wolf,et al.  HeiRAT - Quality-of-service management for distributed multimedia systems , 1998, Multimedia Systems.

[293]  N. S. Bowen,et al.  A Locking Facility for Parallel Systems , 1997, IBM Syst. J..

[294]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[295]  Paulo Veríssimo,et al.  Quasi-Synchronism: a step away from the traditional fault-tolerant real-time system models , 1995 .

[296]  Lorenzo Alvisi,et al.  An analysis of communication induced checkpointing , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[297]  David Notkin,et al.  Performance implications of design alternatives for remote procedure call stubs , 1989, [1989] Proceedings. The 9th International Conference on Distributed Computing Systems.

[298]  Neeraj Suri,et al.  Synchronization issues in real-time systems , 1994 .

[299]  Mark D. Wood.  Fault-tolerant management of distributed applications using the reactive system architecture , 1992 .

[300]  Kevin J. Dunlap,et al.  Experiences Implementing BIND, a Distributed Name Server for the DARPA Internet , 1986, USENIX Summer.

[301]  Stephen E. Deering,et al.  Host extensions for IP multicasting , 1986, RFC.

[302]  Brian N. Bershad,et al.  Midway : shared memory parallel programming with entry consistency for distributed memory multiprocessors , 1991 .

[303]  Danco Davcev,et al.  A Dynamic Voting Scheme in Distributed Systems , 1989, IEEE Trans. Software Eng..

[304]  John Parker,et al.  Real-Time UNIX® Systems: Design and Application Guide , 1990 .

[305]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1983, PODS '83.

[306]  Jean-Pierre Hubaux,et al.  A Survey of Distributed Network and Systems Management Paradigms , 1998 .

[307]  Rachid Guerraoui,et al.  Replicating objects using the CORBA Event Service? , 1997, Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.

[308]  Paulo Veríssimo,et al.  A posteriori agreement for fault-tolerant clock synchronization on broadcast networks , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[309]  José Rufino,et al.  A low-level processor group membership protocol for LANs , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[310]  Sam Toueg,et al.  Unreliable failure detectors for reliable distributed systems , 1996, JACM.

[311]  Özalp Babaoglu,et al.  RELACS: A communications infrastructure for constructing reliable applications in large-scale distributed systems , 1995, Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences.

[312]  ShaL.,et al.  Priority Inheritance Protocols , 1990 .

[313]  Jean-Pierre Hubaux,et al.  Networked systems: introducing network management models into ODP , 1995, Proceedings of GLOBECOM '95.

[314]  Dirk Beeckman,et al.  CIM-OSA: computer integrated manufacturing—open system architecture , 1989 .

[315]  Willy Zwaenepoel,et al.  Implementation and performance of Munin , 1991, SOSP '91.

[316]  Fred Halsall,et al.  Data communications, computer networks and open systems (3. ed.) , 1995, Electronic-systems engineering series.

[317]  Morris Sloman,et al.  Constructing Distributed Systems in Conic , 1989, IEEE Trans. Software Eng..

[318]  Jean-Pierre Hubaux,et al.  Telecommunications Services Engineering: Principles, Architectures and Tools , 1997, ECOOP Workshops.

[319]  Flaviu Cristian,et al.  Fail-awareness in timed asynchronous systems , 1996, PODC '96.

[320]  Achour Mostéfaoui,et al.  Fault-tolerant Total Order Multicast to asynchronous groups , 1998, Proceedings Seventeenth IEEE Symposium on Reliable Distributed Systems (Cat. No.98CB36281).

[321]  Jaynarayan H. Lala,et al.  Fault tolerant parallel processor architecture overview , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[322]  John P. Lehoczky.  Scheduling communication networks carrying real-time traffic , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[323]  Matti A. Hiltunen,et al.  Properties of membership services , 1995, Proceedings ISADS 95. Second International Symposium on Autonomous Decentralized Systems.

[324]  David Chaum,et al.  Blind Signatures for Untraceable Payments , 1982, CRYPTO.

[325]  Victor Yodaiken,et al.  A Real-Time Linux , 2000 .

[326]  Nancy A. Lynch,et al.  Consensus in the presence of partial synchrony , 1988, JACM.

[327]  Jean-Philippe Martin-Flatin,et al.  Push vs. pull in Web-based network management , 1998, Integrated Network Management VI. Distributed Management for the Networked Millennium. Proceedings of the Sixth IFIP/IEEE International Symposium on Integrated Network Management. (Cat. No.99EX302).

[328]  Pedro Antunes,et al.  Enhancing Dependability of Cooperative Applications in Partitionable Environments , 1996, EDCC.

[329]  L. Lewis,et al.  Extending trouble ticket systems to fault diagnostics , 1993, IEEE Network.

[330]  Paulo Veríssimo,et al.  Distributed Industrial Information Systems: Design and Experience , 1996 .

[331]  Owen Rees,et al.  Efficient and timely mutual authentication , 1987, OPSR.

[332]  Paulo Veríssimo,et al.  Causal separators for large-scale multicast communication , 1995, Proceedings of 15th International Conference on Distributed Computing Systems.

[333]  Gavin Lowe,et al.  An Attack on the Needham-Schroeder Public-Key Authentication Protocol , 1995, Inf. Process. Lett..

[334]  Ralph Howard,et al.  Data encryption standard , 1987 .

[335]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[336]  Andy J. Wellings,et al.  Real-time scheduling in a generic fault-tolerant architecture , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[337]  Theodore Y. Ts'o,et al.  Kerberos: an authentication service for computer networks , 1994, IEEE Communications Magazine.

[338]  Jim Gray,et al.  Fault Tolerance in Tandem Computer Systems , 1987 .

[339]  Jean D. etc. Ichbiah.  Reference Manual for the ADA Programming Language , 1983 .

[340]  Jeffrey I. Schiller,et al.  An Authentication Service for Open Network Systems. In , 1998 .

[341]  Louise E. Moser,et al.  Broadcast Protocols for Distributed Systems , 1990, IEEE Trans. Parallel Distributed Syst..

[342]  Steve Vinoski,et al.  Advanced CORBA® Programming with C++ , 1999 .

[343]  Neeraj Suri,et al.  On the use of formal techniques for analyzing dependable real-time protocols , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[344]  Halldor Fosså,et al.  Interactive configuration management for distributed systems , 1997 .

[345]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[346]  Hermann Kopetz,et al.  Fault-Tolerant Membership Service in a Synchronous Distributed Real-Time System , 1991 .

[347]  Hugo Krawczyk,et al.  A Security Architecture for the Internet Protocol , 1999, IBM Syst. J..

[348]  Massachusett Framingham,et al.  The Common Object Request Broker: Architecture and Specification Version 3 , 2003 .

[349]  David A. Bell,et al.  Secure computer systems: mathematical foundations and model , 1973 .

[350]  Santosh K. Shrivastava,et al.  Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing , 1988, IEEE Trans. Software Eng..

[351]  Louise E. Moser,et al.  Fast message ordering and membership using a logical token-passing ring , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[352]  onio Casimiro.  CesiumSpray : a Precise and Accurate Global Clock Service for Large-scale Systems , 1997 .

[353]  Yechiam Yemini,et al.  Distributed management by delegation , 1995, Proceedings of 15th International Conference on Distributed Computing Systems.

[354]  Benedict G. E. Wiedemann.  Protection? , 1998, Science.

[355]  Sam Toueg,et al.  Optimal clock synchronization , 1985, PODC '85.

[356]  John R. Callahan,et al.  Verification and validation of a reliable multicast protocol , 1995 .

[357]  J. Goldberg,et al.  SIFT: Design and analysis of a fault-tolerant computer for aircraft control , 1978, Proceedings of the IEEE.

[358]  David Chappell,et al.  The OSF Distributed Management Environment , 1994 .

[359]  Alfred Z. Spector.  Camelot : a distributed transaction facility for mach and the internet - an interim report , 1987 .

[360]  P. Moore.  A Million Random Digits with 100,000 Normal Deviates. , 1955 .

[361]  Robert Metcalfe,et al.  Ethernet: distributed packet switching for local computer networks , 1988, CACM.

[362]  Henrique Madeira,et al.  Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers , 1998, IEEE Trans. Software Eng..

[363]  Doug Lea,et al.  Concurrent programming in Java - design principles and patterns , 1996, Java series.

[364]  S. Hawking.  A Brief History of Time: From the Big Bang to Black Holes , 1988 .

[365]  Liuba Shrira,et al.  Providing high availability using lazy replication , 1992, TOCS.

[366]  Volker Tschammer,et al.  Integrated approach to open distributed management , 1996, Comput. Commun..

[367]  Henrique Madeira,et al.  Experimental evaluation of the fail-silent behavior in computers without error masking , 1994, Proceedings of IEEE 24th International Symposium on Fault- Tolerant Computing.

[368]  João Paulo Teixeira,et al.  MOSYS: a methodology for automatic object identification from system specification , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[369]  Thomas Y. C. Woo,et al.  Authentication for distributed systems , 1997, Computer.

[370]  Rachid Guerraoui,et al.  Total order multicast to multiple groups , 1997, Proceedings of 17th International Conference on Distributed Computing Systems.

[371]  Luís Moura Silva,et al.  Global checkpointing for distributed programs , 1992, [1992] Proceedings 11th Symposium on Reliable Distributed Systems.

[372]  Santosh K. Shrivastava,et al.  An overview of the Arjuna distributed programming system , 1991, IEEE Software.

[373]  Parameswaran Ramanathan,et al.  Hardware-Assisted Software Clock Synchronization for Homogeneous Distributed Systems , 1990, IEEE Trans. Computers.

[374]  E. Douglas Jensen.  A proposed initial approach to distributed real-time Java , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[375]  Matti A. Hiltunen,et al.  An approach to constructing modular fault-tolerant protocols , 1993, Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems.

[376]  Jean-Claude Laprie,et al.  Dependability: A Unifying Concept for Reliable, Safe, Secure Computing , 1992, IFIP Congress.

[377]  Peter G. Neumann,et al.  Computer-related risks , 1994 .

[378]  Vinton G. Cerf,et al.  The past and future history of the Internet , 1997, CACM.

[379]  Paulo Veríssimo,et al.  xAMp: a multi-primitive group communications service , 1992, [1992] Proceedings 11th Symposium on Reliable Distributed Systems.

[380]  Stavros Tripakis,et al.  Kronos: A Model-Checking Tool for Real-Time Systems , 1998, CAV.

[381]  Peter Baer Galvin,et al.  Applied Operating System Concepts , 1999 .

[382]  Bernadette Charron-Bost,et al.  On the impossibility of group membership , 1996, PODC '96.

[383]  Martín Abadi,et al.  Prudent engineering practice for cryptographic protocols , 1994, Proceedings of 1994 IEEE Computer Society Symposium on Research in Security and Privacy.

[384]  Yair Amir,et al.  Membership Algorithms for Multicast Communication Groups , 1992, WDAG.

[385]  Valérie Issarny.  An exception handling mechanism for parallel object-oriented programming , 1992 .

[386]  Taher El Gamal.  A public key cryptosystem and a signature scheme based on discrete logarithms , 1984, IEEE Trans. Inf. Theory.

[387]  Marcos K. Aguilera,et al.  Failure detection and consensus in the crash-recovery model , 2000, Distributed Computing.

[388]  Paul Hudak,et al.  Memory coherence in shared virtual memory systems , 1989, TOCS.

[389]  Thomas G. Fisher.  Batch Control Systems: Design, Application, and Implementation , 1990 .

[390]  Barbara Liskov,et al.  The Argus Language and System , 1984, Advanced Course: Distributed Systems.

[391]  Piet Beertema.  Common DNS Data File Configuration Errors , 1993, RFC.

[392]  Alan Watt,et al.  Advanced animation and rendering techniques - theory and practice , 1992 .