Aar؁  0 0P@ ```p HH $ @d HHHH̀̀̀ff@  d Footnote TableFootnote**.\t.\t/ - :;,.!? - a;4dTOCHeading1Heading2   [EquationVariablesJ?@>@@A A#A@??? <$lastpagenum><$monthname> <$daynum>, <$year>"<$monthnum>/<$daynum>/<$shortyear>J<$hour>:<$minute00> <$ampm> on <$dayname>, <$monthname> <$daynum>, <$year>"<$monthnum>/<$daynum>/<$shortyear><$monthname> <$daynum>, <$year>"<$monthnum>/<$daynum>/<$shortyear> <$fullfilename> <$filename> <$paratext[Title]> <$paratext[Heading1]> <$curpagenum> <$marker1> <$marker2> (Continued)+ (Sheet <$tblsheetnum> of <$tblsheetcount>)Heading & Page <$paratext> on page<$pagenum>Pagepage<$pagenum>See Heading & Page%See <$paratext> on page<$pagenum>. Table All7Table<$paranumonly>, <$paratext>, on page<$pagenum>Table Number & Page'Table<$paranumonly> on page<$pagenum> Handout DateJanuary 7, 1999Heading <$paratext>A{HTMLHeadingsA;;==??Ac5y??? 5 5*D1.E4.?*???"?$?& ?( ?* ?, ?. ?0 ?2 ?4 ?6 ?8 ?: ?< ?> ?@ ?B ?D ?F ?H ?J ?L ?N ?P ?R ?T ?V E a.>+E b.?X ?Z ?\ ?^ ?` ?b G@ GB ?f ?h ?j ?l ?n ?p ?r ?t ?v ?x Gd Gf ?| ?~ ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? G G ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? G G ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? H0 H2 ? ? ? @ @ @ @ @ @  @  @ @ @ @ @ @ @ @ @ @  @" @$ ABADAFAH AJ AL AN APAR AT@& @( @* @, @. @0 @2 @4 @6 @8 @: @< @> @@ @B @D @F @H @J @L @N @P @R @T @V @X @Z @\ @^ @` @b @d @f @h @j @l @n @p @r @t @v @x @z @| E @~ @ @ @@E E E @@ @ @ @ AVAX AZ@ @ @ @ @ A\A^ @ @ @ @ @ @ @ @ @ @@@@ @ @ @ @ @ @ @ @ @ @ @ @ @ @ uAe@ @ @ @ @ @ @ @ @ @ @ @ I I I @@@@ @ @ @ A A FWFY F[ A AAAA A A A A A A  A" A%A'A)A+ A- A/ A1 A3 A5 A6E E E E E E E E E E E E E E F] F_ Fa Fc Fe Fg Fi I I I I I I I I! I# I% I' I) I+ I- I/ I1 I3 I5 I7 I9 I; I= I? IA IC IE IG II IK IM IO IQ IS IU In Ip I I I I I J J J J J  E~2.Ea.Eb.Ec.Ed.E3.Ea.Eb.Ec.rdq}? Ey5I? zFWLe d? HmR? HmRHRHRFootnote Hr@? Hr@HzHz Single LineH? Footnote ?   HD?  HDHH Double LineH? Double Line? ? H?  Single Line? HZ?  TableFootnote EGxR?EGxREPwEPw TableFootnoted5p HHˆ5xHHˆGe HHˆ5zHHˆld?d?dHl d?d9's'je`[^adgjmp|vy| #'+/ADOL963W3@m       }d ?!d WeHTML Mapping Table }Hd ?Hd We }Hd ?Hd We HUV 5HUV Ge HUV 5HUV l H$ 5H$ Ge H$ 5H$ l HHˆ5HHˆ( `Outline for June 8, 2000 `Greetings and felicitations! `Specification Detection D`7Property-Based Testing (introduce specifications here) `Example `Cautions and problems ` Defeating it v`Toss in a network `NSM  `DIDS  `GrIDS `Coda '`Privacy A)`Learning from mistakes HHˆ5HHˆl}Hd ?!Hd W e }Hd ?#Hd W e }H&?%"H&% FrameMaker PE Source Item }H ?'!$H We HTML Item }H ?)H We }H&?+"%H& WeInclude Auto# } H&?-$' H& We Comments }H?/H We }HH?1%(HH WeElement }H?3'+H%New Web PEPage? }H?5H We } H?7 H We }H ?9(,H We P:Date Line }HH ?;+-HH WeP }H ?=,.H WeN }H ??-/H WeN } H ?A.0 H We }EH ?C/1EH We P:Reading }HEH ?E02HEH WeP }EH ?G13EH WeN }EH ?I24EH W eN } EH ?K35 EH W!e }QH ?M46QH W"eP:Title }HQH ?O57HQH W#eH* }QH ?Q68QH W$eN }QH ?S79QH W%eN } QH ?U8: QH W&e }]H ?W9;]H W*eP:Body }H]H ?Y:<H]H W+eP }]H ?[;=]H W,eN }]H ?]<>]H W-eN } ]H ?_=? ]H W.e }iH(?a>@iH( W/e P:Numbered1 }HiH(?c?AHiH((2eLI 0e Parent = OL Q1e Depth = 0 }iH(?g@BiH( W3eN }iH(?iACiH( W4eY } iH(?kBD iH( W5e }H ?mCEH  W6e P:Heading1 }HH ?oDFHH  W7eH* }H ?qEGH  W8eN }H ?sFHH  W9eN } H ?uGI H  W:e }H(?wHJH(  W;e P:Numbered }HH(?yIKHH(( >eP <e Parent = OL Q=e Depth = 0 }H(?}JLH(  W?eN }H(?KMH(  W@eY } H(?LN H(  WAe }H ?MOH  WBe P:CellBody }HH ?NPHH  WCeP }H ?OQH  WDeN }H ?PRH  WEeN } H ?QS H  WFe }H ?RTH  WGeP:CellHeading }HH ?SUHH  WHeP }H ?TVH  WIeN }H ?UWH  WJeN } H ?VX H  WKe }H ?WYH  WLe P:Footnote }HH ?XZHH  WMeP }H ?Y[H  WNeN }H ?Z\H  WOeN } H ?[] H  WPe }H(?\^H( WQe P:Bulleted }HH(?]_HH((TeLI Re Parent = UL QSe Depth = 0 }H(?^`H( WUeN }H(?_aH( WVeN } H(?`b H( WWe }H ?acH WXe P:Heading2 }HH ?bdHH WYeH* }H ?ceH WZeN }H ?dfH W[eN } H ?eg H W\e }H?fhH]% P:HeadingRuPEnIn }HH?giHH W^eP }H?hjH W_eN }H?ikH W`eN } H?jl H Wae }7H ?km7H Wbe P:Indented }H7H ?lnH7H WceP }7H ?mo7H WdeN }7H ?np7H WeeN } 7H ?oq 7H Wfe }CH?prCHg% P:TableFootPEnote }HCH?qsHCH WheP }CH?rtCH WieN }CH?suCH WjeN } CH?tv CH Wke }]H(?uw]H( Wle P:TableTitle }H]H(?vxH]H((oeLI me Parent = OL Qne Depth = 0 }]H(?wy]H( WpeN }]H(?xz]H( WqeN } ]H(?y{ ]H( Wre }H ?z|H Wse P:BodySpaced }HH ?{}HH WteP }H ?|~H WueN }H ?}H WveN } H ?~ H Wwe }H ?H WxeP:Date }HH ?HH WyeP }H ?H WzeN }H ?H W{eN } H ? H W|e }H(?H(}% P:NumberedPESpaced }HH(?HH((eP ~e Parent = OL Qe Depth = 0 }H(?H( WeN }H(? H( WeY } H(? H( We }H @ H WeP:DateProject }HH @ HH WeP }H @ H WeN dA=dA> dl dA? diYWBm  }d AA d !WeHeadings Table }Hd AC Hd !We }Hd AE Hd !We }HAG H "WeHeading Level }HHAI HH"%Paragraph ForPEmat }HAK H "We Comments }HAM H#W e2 }HHAO HH #We Heading1 }HAQ OH #We }H @ H WeN } H @  H We }H @ H W e C:BoldItalic }HH @ HH W eSTRONG }H @H W eN }H @H W eN } H @ H W e }H@!H% C:EquationPE Variables }HH@ "HH WeEM }H@!#H WeN }H@"$H WeN } H@#% H We }H @$&H We C:Italic }HH @!%'HH WeEM }H @#&(H WeN }H @%')H W eN } H @'(* H W!e }H @))+H W"eC:Bold }HH @+*,HH W#eSTRONG }H @-+-H W$eN }H @/,.H W%eN } H @1-/ H W&e }H@3.0H'% X:Heading & PEPage }HH@5/1HH W(e See Also }H@702H W)eN }H@913H W*eN } H@;24 H W+e })H @=35)H W,eX:Page }H)H @?46H)H W-e See Also })H @A57)H W.eN })H @C68)H W/eN } )H @E79 )H W0e }5H@G8:5H1% X:See HeadPE ing & Page }H5H@I9;H5H W2e See Also }5H@K:<5H W3eN }5H@M;=5H W4eN } 5H@O<> 5H W5e }OH @Q=?OH W6e X:Table All }HOH @S>@HOH W7e See Also }OH @U?AOH W8eN }OH @W@BOH W9eN } OH @YAC OH W:e }[H@[BD[H ;% X:Table NumPE ber & Page }H[H@]CEH[H  W<e See Also }[H@_DF[H  W=eN }[H@aEG[H  W>eN } [H@cFH [H  W?e }uH@eGJuH $W@e X:Heading }?H Ey2?H zFWRe... }HuH@gHKHuH$A% USE XREF PEFMT }uH@iJLuH $WBeN }uH@kKMuH $WCeN } uH@mLN uH $WDe }H@oMRH %WEe P:Header }KH AS PKH 0We3 }HKH AU OQHKH 0WZe Heading2 }KH AW PWKH 0W[e }HH@qNSHH%F%THROW PEAWAY }H@sRTH %WGeN }H@uSUH %WHeN } H@wTV H %WIe }©H(@yUZ©H( &WJe P:Letter }WHAY QXWH 2W\e1 }HWHA[ WYHWH2Wb eTitle }WHA] XWH 2Wce }H©H(@{V[H©H((&KeLI e Parent = OL Qe Depth = 0 }©H(@}Z\©H( &WMeN }©H(@[]©H( &WNeN } ©H(@\t ©H( &WOe }»d @GZa»d I'WPeHTML Options Table }D»d @GD»d I'WQe }D»d @GD»d I'WUe }D @G^bD I(WVeControl }DH @GacDH I(WWeValue }H @GbdH I(WXe Comments }D6@GceD6 I)WYe Image Format }DH6@GdfDH66I)]% 0001IMAGGIF p MACP0001GIEF }H6@GegH6 I)W^e }D @GfhD I*W_eBanners }DH @GgiDH I*W`eN }H @GhjH I*Wae }D@GikDI+e% Banner ReferPE ence Frame }DH@GjlDH I+Wfe }H@GkmH I+Wge }D(@GlnD((I,h$% Copy Files  Imported by PE Rerefernce }DH(@GmoDH( I,Wie }H(@GnpH( I,Wje }DD(@GoqDD((I-k% Copy Files  Imported by PE Reference }DDH(@GprDDH( I-WleN }DH(@GqDH( I-Wme }Vd @G~yVd I.WneSystem Macros }?Vd @G?Vd I.Woe }Vd @GVd I.Wpe }f? @Gvzf? I/Wqe Macro Name }?fH @Gy!?fH I/Wre Replace With }fH @G!|fH I/Wse Comments }r? @G{}r? I1Wte StartOfDoc }?rH @G|"?rH I1Wue }rH @G"rH I1Wve }~? @G~~? I3Wwe EndOfDoc }?~H @GR?~H I3Wxe }~H @GR~H I3Wye }?@G?I4z% StartOfSubPEDoc }?H@GS?H I4W{e }H@GSH I4W|e }?@G?I5}% EndOfSubPEDoc }?H@GT?H I5W~e }H@GTH I5We }?@G ?I6% StartOfFirstPESubDoc }?H@GU?H I6We }H@GU H I6We }?@G ?I7% EndOfFirstPESubDoc }?H@G V?H I7We }H@GVH I7We }?@G ?I9 % StartOfLastPESubDoc }?H@GW?H I9W e }H@GWH I9W e } ?@G ?I: % EndOfLastPESubDoc }? H@GX? H I:W e } H@GX H I:We }H IG_H I;Ge C:Symbol }H IGH I;GIeEM }H IGYH I;GJeN },d @G,d I<WeCross-Reference Macros }?,d @G?,d I<We },d @G,d I<We }<? @G<? I=We Macro Name }?<H @G?<H I=We Replace With }<H @G<H I=We Comments }H?@GH? I>We See Also }?HHAG?HHI>% See Also: PE <$paratext> }HHAG#HH I>We }Vd FVGVd I.We }fH FXGz{fH I/WeHead }rH FZG}~rH I1We }hd A G'hd I@WeGeneral Macros }?hd A G?hd I@We }hd AGhd I@W e }hd AGhd I@W!e }x? AG#(x? IAW"e Macro Name }?xH AG')?xH IAW#e Replace With }xH AG(*xH IAW$eHead }xH AG)+xH IAW%e Comments }? AG*,? IBW&e }?H AG+-?H IBW'e }H AG,.H IBW(e }H A!G-H IBW)e }d A$yAd zCW*eCharacter Macros }?d A&y?d zCW+e }d A(yd zCW,e }H EyIH zFWSe }? Ey84? zGWTe }?H Ey35?H zGW4e- }H Ey4H zGW5e }? EyK7? zHW6e }?H Ey68?H zHW7e-- }H Ey73H zHW8e }? EyNJ? zIW9e d>;?H$ >:=H$ << l H$ >:H$ ;W l4June 8, 2000ECS 253 Spring 2000Page  1  HUV >:;?HUV >> l HUV >:HUV =W l>Last modified at  2:51 pm on Thursday, June 8, 2000  HHˆ>:=HHˆ@@ l HHˆ>:HHˆ?W ` }? A*y/B? zDW-e Character }?H A,yAC?H zDW.e Replace With }H A.yBDH zDW/e Comments }? A0yCE? zEW0e }?H A2yDF?H zEW1e¢ }H A4yEOH zEW2e dA8HHdA9Gd{II l dA:Gd j.Hje`[^adgjmp|vy| #'+ /ADOL963}?H Ey9K?H zIW:e° }H EyJ6H zIW;e }? EyQM? zJW<e }?H EyLN?H zJW=e® }H EyM9H zJW>e }? EyFP? zKW?e }?H EyOQ?H zKW@e© }H EyPLH zKWAe }~H F\G~H I3WBe }HF^GH I4WCe }HF`GH I5WDe }HFbG H I6WEe }HFdG H I7WFe }HFfGH I9WGe } HFhG H I:WHe }H IGZH I;GKeN }H IGY^H I;GLe }H IGd\H I?GMe C:Subscript }H IG[]H I?GNeEM }H IG\^H I?GOeN }H I G]_H I?GPeN }H I"G^H I?GQe }H I$GiaH ILGRe C:Emphasis }H I&G`bH ILGSeEM }H I(GacH ILGTeN }H I*GbdH ILGUeN }H I,Gc[H ILGVe }H(I.GnfH( IMGWe P:Signup }H(I0GegH((IMXeLI oe Parent = OL Ape Depth = 0 }H(I2GfhH( IMGYeN }H(I4GgiH( IMGZeN }H(I6Gh`H( IMG[e }H(I8GkH( ING\e P:Numbered-a }H(I:GjlH((IN]eLI me Parent = OL Ane Depth = 0 }H(I<GkmH( ING^eN }H(I>GlnH( ING_eN }H(I@GmeH( ING`e }H(IBxpH( OGae P:Numbered- }H(IDoqH((ObeLI ke Parent = OL Ale Depth = 0 }H(IFprH( OGceN }H(IHqsH( OGdeN }H(IJrH( OGee }H IL]uH PGfeP:Line }H INtvH PGgeP }H IPuwH PGheN }H IRvxH PGieN }H ITwoH PGje dI{{ dIydp /2{ /ADOL963dIydHzz l}DIG}DIQgq% CSS Export E Encoding }HJG|~H IQGre }HJG}vH IQGse }DJGrDIRgt% Export EnEcoding }HJGH IRGue }HJG|H IRGve dLeftd:Rightd ReferenceddHTMLd HeadingsdGHTMLdyHTMLf@U \. Numbered < =0>.Letter. @@ \Body. f@ 3 @.@.@. Date Line Single Line. $f@ 3 $. Numbered-.\t. @@ \Footer. f@U \. Numbered < =0>.Letter. @@ \Mapping Table Title. f@e \. Letter < >. Numbered-. @@ 3  Footer. @@ \Mapping Table Cell. f@e \. Letter < >.Letter. @@3 Mapping Table Cell. $f@ 3 $. Numbered-.\t. @@\Mapping Table Cell. f@T \! TableTitleT:Table : . f@ \ CellHeading. f@ \CellBody. f@ \ CellFooting. f@ 3 ...Signup.\t. f@e \. Letter < >.Letter. f@E \ Numbered1.\tNumbered. @@ 3 Mapping Table Cell. @@ \ Mapping Table Cell. $f@E 3 $. Numbered-a.\t Numbered-. f@ \Body.  @@ \Header Double Line.  f@P\ TitleBody. f@ \Body. f@ \ BodySpaced. f@ \ Bulleted\t. f@ \...Date. mf@ \l. DateProject. @@ \Header Double Line. f@T \Heading1Body. f@E \ Numbered1.\tNumbered. f@ \ NumberedSpaced.\t. f@ \.Reading.  f@P\TitleBody. f@$\.Line Single Line. f@ \CellBody. f@ \ CellHeading. f@ \ Footnote. f@T \Heading2Body. f@T \ HeadingRunInBody. f@ \ Indented. f@ \ TableFootnote. f@T \ TableTitleT:Table : .  \ \   Subscript \\ \ 3  33 3  \ 3  X Symbol \3 3 \\Emphasis\EquationVariables 3  BoldItalic \Italic \Bold\ \ZZThinMediumDoubleThick@ Very Thin HHHHHFormat AH Mapping Table HHHHHFormat BH Mapping Tableh6@;HHHHH'QDHH.:?HHH<>?HH @B?HHHTCF?HH*0!2HHH7h  h !"#$%h&'()*h +,-./Eh 01234Qh 56789]h :;<=>ih( ?@ABCh  D E F G H h( I J K L M h  N O P Q R h  S T U V W h  X Y Z [ \ h( ]^_`ah bcdefhghijk7h lmnopChqrstu]h(vwxyzh {|}~h h( h    h h !"#$h %&'()h *+,-.h/0123)h 456785h9:;<=Oh  >?@AB[h$C D E F G  "!!!!#""""0###uh %H$J$K$L$M$h$&N%R%S%T%U%©h(%PV&Z&[&\&]&» (I^'_'`' ')Ia(b(c(6(*Id)e)f) )+Ig*h*i**,Ij+k+l+(+-Im,n,o,D(,RIp-q-r-Vd /Iv.w. .x.f .1Iy/z/!/{/K #2O0P0Q0r /3I|1}1"1~1W0W2X2Y2~ 14I33R3335I44S4446I55T5557I6 6U6 669I 7 7V7 77:I99W99 9I::X::h ?I;;;Y;Z;,d =I<<<< <>I===H=I>>>h L;I[?\?]?^?_?hd AI#@$@%@&@x @BI'A(A)A*A AI+B,B-B.Bd Dz/C0C1C CEzADBDCD DKzDEEEFE GzFIF2F HFz3G4G5G IGz6H7H8H JHz9IJIKI KIzLJMJNJ EJzOKPKQKh M?I`LaLbLcLdLh(NLIeMfMgMhMiMh(OMIjNkNlNmNnNh(PNoOpOqOrOsOh &OtPuPvPwPxPRI|Q}Q~Q-QIRRRComment >?d BlackT!WhiteddARedddGreendd BluedCyandMagentad YellowHeader/Footer $1Header/Footer $1Header/Footer $2Header/Footer $2IndexIndexCommentCommentSubjectSubjectAuthorAuthorGlossaryGlossaryEquationEquation Hypertext Hypertext  Cross-Ref Cross-Ref Conditional TextConditional TextPositionFMPrivatePositionFMPrivateRangeEndFMPrivateRangeEndFMPrivate HTML Macro HTML Macro M.Times.P Times-Roman FrameRoman M.Helvetica.P Helvetica FrameRoman M.Helvetica.BHelvetica-Bold FrameRoman M.Times.B Times-Bold FrameRoman M.Symbol.PSymbol FrameRomanM.Helvetica.BIHelvetica-BoldOblique FrameRoman M.Times.I Times-Italic FrameRomanm2 HelveticaWSymbol[Times#Regular$Roman MediumBoldRegular ObliqueItalicl!DPW Ym \. !f)8Ո˾L"SB6P:> ps)V=Kِf^(7lmu5Pz;C30E)gbS֊Nv$*+稏&<&670 +}0:w"SN4P