Publications

Export 2 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is computer network reliability  [Clear All Filters]
Conference Papers
Kumaran K, Srinivasan A, Wang Q, Lanning S, Ramakrishnan KG.  2001.  Efficient algorithms for location and sizing problems in network design. IEEE Global Telecommunications Conference, 2001. GLOBECOM '01. 4:2586-2590vol.4-2586-2590vol.4.
Ramasamy HV, Cukier M, Sanders WH.  2002.  Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system. :9-18.