References

Previous |

CAN (1993). Int'l Std.11898 - Road vehicles - Interchange of digital information - Controller Area Network (CAN) for high-speed communication. ISO.

Carreira, J., Madeira, H., and Silva, J. (1998). Xception: A technique for the exper- imental evaluation of dependability in modern computers. Transactions on SW Engineering, 24(2):125-136.

Carriero, N. and Gelertner, D. (1986). The S/Net's Linda Kernel. ACM Transactions on Computer Systems, 4(2).

Cart, M., Ferrie, J., and Mardyanto, S. (IFIP, 1987). Atomic broadcast protocol, preserving concurrency for an unreliable broadcast network. In Cabanel, J., Pujole, G., and Danthine, A., editors, Local communication systems: LAN and PBX. North-Holland.

Carter, J., Bennettt, J., and Zwanepoel, W. (1991). Implementation and performance of Munin. In Proceedings of the 13th ACM Symposium on Operating System Principles, pages 152-164.

Carter, W. and Schneider, P. (1968). Design of dynamically checked computers. In Proc. IFIP'68 World Computer Congress, pages 878-883.

CC-ITSE (1998). Common Criteria for Information Technology Security Evaluation. ISO/IEC JTC 1.

Chandra, T., Hadzilacos, V., and Toueg, S. (1996). On the impossibility of group membership. In Proceedings of the 15th Annual ACM Symposium on Principles of Distributed Computing (PODC '96), pages 322-330.

Chandra, T. and Toueg, S. (1996). Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 34(1):225-267.

Chandy, K. and Lamport, L. (1985). Distributed snapshots: Determining global states of distributed systems. ACM, 3(1):63-75.

Chang, J. and Maxemchuck, N. (1984). Reliable broadcast protocols. ACM, Transactions on Computer Systems, 2(3):251-273.

Chappell, D. (1992). The osf distributed management environment. ConneXions, 6(10):10-15.

Chaum, D. (1983). Blind signatures for untraceable payments. In Proceedings of the Advances in Cryptology- Crypto'82, pages 199-203. Plenum Press.

Chaum, D. (1992). Achieving electronic privacy. Scientific American, 267(2):96-101.

Chen, L. and Avizienis, A. (1978). N-version programming: A fault-tolerance approach to reliability of software operation. 8th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-8), pages 3-9.

Chen, W., Toueg, S., and Aguilera, M. (2000). On the quality of service of failure detectors. In Procs. of DSN 2000, the IEEE/IFIP Int'l Conf. on Dependable Systems and Networks.

Chereque, M., Powell, D., Reynier, P., Richier, J.-L., and Voiron, J. (1992). Active replication in Delta-4. In Digest of Papers, The 22nd IEEE Int'l Symp. on Fault- Tolerant Computing Systems, page 28.

Cheriton, D. and Mann, T. (1989). Decentralizing a global naming service for improved performance and fault tolerance. ACM Transactions on Computer Systems, 7(2):147-183.

Cheriton, D. and Skeen, D. (1993). Understanding the limitations of causally and totally ordered communication. In Proceedings of the 14th Symposium on Operating Systems Principles, Asheville, NC, USA.

Cheriton, D. and Zwaenepoel, W. (1985). Distributed process groups in the V-kernel. ACM Tran. on Computer Systems, 3(2).

Cheswick, W. and Bellovin, S. (1997). Internet Security: Firewalls and Gateways, 2nd edition. Addison-Wesley.

Cheung, S., Ammar, M., and Ahamad, M. (1990). The grid protocol: A high performance scheme for maintaining replicated data. In Proceedings of the 6th Internation Conference on Data Engineering, pages 438-445.

Chung, S., Lazowska, E., Notkin, D., and Zahorjan, J. (1989). Performance implications of design alternatives for remote procedure call stubs. In Proceedings of the 9th Int'l IEEE Conference on Distributed Computing Systems, pages 36-41, Newport Beach -USA.

Clark, D. and Wilson, D. (1987). A comparison of commercial and military computer security policies. In Proc. of the IEEE Symp. on Security and Privacy, pages 184- 194.

Clegg, M. and Marzullo, K. (1996). Clock synchronization in hard real-time distributed systems. Technical Report CS96-478, University of California, San Diego, Department of Computer Science and Engineering.

CMIP (1988). Open Systems Interconnection - Management Information Protocol Definition, Part 2: Common Management Information Protocol. ISO.

CMISE (1988). Open Systems Interconnection - Management Information Service Definition, Part 2: Common Management Information Service. ISO.

CNMA (1993). CNMA Implementation Guide, Revision 6.01. Technical report, ESPRIT Project 7096.

Comer, D. (1991). Internetworking With TCP/IP: Principles, Protocols, Architecture. Prentice Hall.

Comer, D. (1997). The Internet Book. Prentice Hall.

Cooper, E. (1985). Replicated distributed programs. In Procs. of the 10th ACM Sym- posium on Operating Systems Principles, Berkeley- USA.

Corneillie, P., Deswarte, Y., Goodson, J., Hawes, A., Kaâniche, M., Kurth, H., Liebisch, G., Manning, T., Moreau, S., Steinacker, A., and Valentin, C. (1999). Squale- de- pendability assessment criteria (4th draft). Technical Report 98456, ACTS proj. AC097, LAAS, Squale Consortium.

Cornhill, D., Sha, L., Lehoczky, J., Rajkumar, R., and Tokuda, H. (1987). Limitations of ada for real-time scheduling. In Proceedings of the ACM International Workshop on Real Time Ada Issues, Ada Letters, pages 33-39.

Cosquer, F., Antunes, P., and Veríssimo, P. (1996). Enhancing dependability of cooperative applications in partitionable environments. In Dependable Computing - EDCC-2, volume 1150 of LNCS, pages 335-352. Springer-Verlag.

Crane, S., Dulay, N., Fossa, H., Kramer, J., Magee, J., Sloman, M., and Twidle, K. (1995). Configuration management for distributed software services. In Proceedings of the 4th IFIP/IEEE Int'l Symposium on Integrated Network Management (ISINM'95), Santa Barbara, USA.

Cristian, F. (1988). Reaching agreement on processor group membership in synchronous distributed system. Technical Report RJ 5964 (59426), IBM Almaden Research Center.

Cristian, F. (1989). Probabilistic clock synchronization. Distributed Computing, 3(3):146- 148.

Cristian, F. (1990). Synchronous atomic broadcast for redundant broadcast channels. The Journal of Real-Time Systems, 2(1):195-212.

Cristian, F. (1994). Abstractions for fault-tolerance. In Proceedings of the 13th IFIP World Computer Congress, Hamburg.

Cristian, F., Dancey, B., and Dehn, J. (1996). Fault-tolerance in air traffic control systems. ACM Transaction on Computer Systems.

Cristian, F. and Fetzer, C. (1998). The timed asynchronous system model. In Proceedings of the 28th IEEE Annual International Symposium on Fault-Tolerant Com- puting, pages 140-149, Munich, Germany.

Cristian, F., H., A., Strong, R., and Dolev, D. (1985). Atomic broadcast: From simple message difusion to byzantine agreement. In Digest of Papers, The 15th IEEE International Symposium on Fault-Tolerant Computing, Ann Arbor-USA.

Previous |