?? http:^^www.cs.washington.edu^homes^vivek^pubs.html
字號:
Date: Tue, 10 Dec 1996 21:30:32 GMTServer: NCSA/1.4.2Content-type: text/htmlLast-modified: Thu, 03 Oct 1996 19:16:17 GMTContent-length: 1512<HTML><HEAD> <BASE HREF="http://www.cs.washington.edu/homes/vivek/index.html"> <TITLE>Vivek Ratan's Publications</TITLE></HEAD><BODY bgcolor="#FFEEAA" text="#000000" link="Red" vlink="RoyalBlue">Some of my publications: <ul><li><a href="ftp://ftp.cs.cmu.edu/user/mootaz/papers/icodp95.ps">"Experiences Using DCE and CORBA to Build Tools for Creating Highly-AvailableDistributed Systems," </a> E.N. Elnozahy, V. Ratan, and M.E. Segal.<i> In Proceedings of the IFIP International Conference on Open DistributedProcessing (ICODP'95), February, 1995. </i>Also available as technical reportCMU-CS-95-117.<li><a href="ftp://ftp.cs.cmu.edu/user/mootaz/papers/bellcore96.ps">"Highly Available Directory Services in DCE"</a>, B. Acevedo, L. Bahler, E. N. Elnozahy, V. Ratan, M. E. Segal. <i> In Proceedings of the Twenty-sixthAnnual International Symposium on Fault-Tolerant Computing (FTCS-26), June1996. </i><li> <a href="http://www.cs.washington.edu/research/projects/safety/www/papers/nasa/draft3.ps">"A CAD Environment for Safety-Critical Software"</a>, Nancy Leveson, Ken Bauer, Mats Heimdahl, Wayne Ohlrich, Kurt Partridge, Vivek Ratan, and Jon Reese. <i>NASA Conference on Safety Through Quality 1995.</i><li><a href="http://www.cs.washington.edu/research/projects/safety/www/papers/compass96.ps">"Safety Analysis Tools for Requirements Specifications"</a>, Vivek Ratan, KurtPartridge, Jon Reese, and Nancy Leveson. <i>Published in COMPASS '96.</i></ul> </BODY></HTML>
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -