http:^^www.cs.utexas.edu^users^gouda^
来自「This data set contains WWW-pages collect」· EDU^USERS^GOUDA^ 代码 · 共 144 行
EDU^USERS^GOUDA^
144 行
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:45:43 GMT
Content-Type: text/html
Content-Length: 3455
Last-Modified: Wednesday, 13-Nov-96 18:38:56 GMT
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"><html> <head><title>Position Statement of M. G. Gouda</title></head><body bgcolor="#ffffff"><P><small><em><!WA0><a href="http://www.acm.org/">ACM</a> <!WA1><ahref="http://www.acm.org/surveys">Computing Surveys</a></em><b>28A</b>(4), December 1996,http://www.acm.org/surveys/1996/GoudaNetwork/. Copyright ©1996 by the Association for Computing Machinery, Inc. See the <!WA2><ahref="#permissions-statement">permissions statement</a> below.</small></P><BR><center> <em>CITATION PAGE FOR</em><h1>Network Protocols between Exact Specifications<BR>and Pragmatic Implementations</h1></center><BR><P><strong><!WA3><a href="http://www.cs.utexas.edu/users/UTCS/report/1995/profiles/gouda.html">Mohamed G. Gouda</a></strong><BR><address><!WA4><a href="http://www.cs.utexas.edu/docs/university.html">The University of Texas at Austin</a>,<!WA5><a href="http://www.cs.utexas.edu">Department of Computer Sciences</a><BR>Austin, Texas 78712-1188, USA<BR><!WA6><a href="mailto:gouda@cs.utexas.edu">gouda@cs.utexas.edu</a>, <!WA7><a href="http://www.cs.utexas.edu/users/UTCS/report/1995/profiles/gouda.html">http://www.cs.utexas.edu/users/UTCS/report/1995/profiles/gouda.html</a><BR></address><BR><BR><blockquote><HR><strong>Abstract:</strong>We argue for the study of <em>protocol evolvers</em> that can bridgethe gap between exact specifications and pragmatic implementations of networkprotocols.<small><P>General Terms: Network Protocols, Formal Specifications, Implementations<P>Additional Key Words and Phrases: Compilers, Software Tools, Protocol Development Methodology</small><HR></blockquote><BR><P><h2>Publication Information</h2><dl> <dt><b>Citation</b> <dd>Gouda, M. G., 1996. <!WA8><a href="http://www.acm.org/surveys/1996/GoudaNetwork/">Network Protocols Between Exact Specifications and Pragmatic Implementations</a>, <em><!WA9><a href="http://www.acm.org/surveys/">Computing Surveys</a></em>, <b>28A</b>(4), December, <!WA10><a href="http://www.acm.org/surveys/1996/GoudaNetwork/">http://www.acm.org/surveys/1996/GoudaNetwork/</a> <dt><b>Submission date</b> <dd>June 14, 1996 <dt><b>Revision date</b> (if any) <dd>October 15, 1996 <dt><b>Acceptance date</b> <dd>October 31, 1996</dl><h2>Publication Sources</h2><ul> <li><!WA11><a href="http://www.acm.org/surveys/1996/GoudaNetwork/GoudaNetwork.html">HTML</a> (if available)</ul><hr><P><a name="permissions-statement"></a><small>Permission to make digitalor hard copies of part or all of this work for personal or classroomuse is granted without fee provided that copies are not made ordistributed for profit or commercial advantage and that copies bearthis notice and the full citation on the first page. Copyrights forcomponents of this work owned by others than ACM must be honored.Abstracting with credit is permitted. To copy otherwise, torepublish, to post on servers, or to redistribute to lists, requiresprior specific permission and/or a fee. Request permissions fromPublications Dept, ACM Inc., fax +1 (212) 869-0481, or<TT>permissions@acm.org</TT>.</small></P><P><hr><!-- hhmts start -->Last modified: Wed Nov 13 11:55:22 CST 1996<!-- hhmts end --><address><!WA12><a href="http://www.cs.utexas.edu/users/UTCS/report/1995/profiles/gouda.html">Mohamed G. Gouda</a><!WA13><a href="mailto:gouda@cs.utexas.edu"><gouda@cs.utexas.edu></a></address></body> </html>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?