1 files changed, 101 insertions, 0 deletions
diff --git a/books/workshops/2000/shumsky/slides2_files/slide0029.htm b/books/workshops/2000/shumsky/slides2_files/slide0029.htm
new file mode 100644
index 0000000..4eaa85a
--- /dev/null
+++ b/books/workshops/2000/shumsky/slides2_files/slide0029.htm
@@ -0,0 +1,101 @@
+<html xmlns:v="urn:schemas-microsoft-com:vml"
+xmlns:o="urn:schemas-microsoft-com:office:office"
+xmlns:p="urn:schemas-microsoft-com:office:powerpoint"
+xmlns="http://www.w3.org/TR/REC-html40">
+
+<head>
+<meta http-equiv=Content-Type content="text/html; charset=windows-1252">
+<meta name=ProgId content=PowerPoint.Slide>
+<meta name=Generator content="Microsoft PowerPoint 9">
+<link id=Main-File rel=Main-File href="../slides2.htm">
+<link rel=Preview href=preview.wmf>
+<!--[if !mso]>
+<style>
+v\:* {behavior:url(#default#VML);}
+o\:* {behavior:url(#default#VML);}
+p\:* {behavior:url(#default#VML);}
+.shape {behavior:url(#default#VML);}
+v\:textbox {display:none;}
+</style>
+<![endif]-->
+<title>Developing a Framework for Simulation, Verification and Testing of SDL
+Specifications</title>
+<meta name=Description content="3-Nov-00: Network Handling">
+<link rel=Stylesheet href="master03_stylesheet.css">
+<![if !ppt]>
+<style media=print>
+<!--.sld
+	{left:0px !important;
+	width:6.0in !important;
+	height:4.5in !important;
+	font-size:107% !important;}
+-->
+</style>
+<script src=script.js></script><script><!--
+gId="slide0029.htm"
+if( !IsNts() ) Redirect( "PPTSld", gId );
+//-->
+</script><!--[if vml]><script>g_vml = 1;
+</script><![endif]--><script for=window event=onload><!--
+if( !IsSldOrNts() ) return;
+if( MakeNotesVis() ) return;
+LoadSld( gId );
+MakeSldVis(0);
+//-->
+</script><![endif]><o:shapelayout v:ext="edit">
+ <o:idmap v:ext="edit" data="39"/>
+</o:shapelayout>
+</head>
+
+<body lang=EN-US style='margin:0px;background-color:white'
+onclick="DocumentOnClick()" onresize="_RSW()" onkeypress="_KPH()">
+
+<div id=SlideObj class=sld style='position:absolute;top:0px;left:0px;
+width:534px;height:400px;font-size:16px;background-color:white;clip:rect(0%, 101%, 101%, 0%);
+visibility:hidden'><p:slide coordsize="720,540"
+ colors="#FFFFFF,#000000,#808080,#000000,#00CC99,#3333CC,#CCCCFF,#B2B2B2"
+ masterhref="master03.xml">
+ <p:shaperange href="master03.xml#_x0000_s1025"/><![if !ppt]><p:shaperange
+  href="master03.xml#_x0000_s1028"/><p:shaperange
+  href="master03.xml#_x0000_s1029"/><![endif]><p:shaperange
+  href="master03.xml#_x0000_m1026"/><v:shape id="_x0000_s39938" type="#_x0000_m1026"
+  style='position:absolute;left:54pt;top:74.625pt;width:612pt;height:60pt'>
+  <v:fill o:detectmouseclick="f"/>
+  <v:stroke o:forcedash="f"/>
+  <o:lock v:ext="edit" text="f"/>
+  <v:textbox style='mso-fit-shape-to-text:t'/>
+  <p:placeholder type="title"/></v:shape><p:shaperange
+  href="master03.xml#_x0000_m1027"/><v:shape id="_x0000_s39939" type="#_x0000_m1027"
+  style='position:absolute;left:36pt;top:209.25pt;width:9in;height:256.125pt;
+  mso-wrap-style:square'>
+  <v:fill o:detectmouseclick="f"/>
+  <v:stroke o:forcedash="f"/>
+  <o:lock v:ext="edit" text="f"/>
+  <v:textbox style='mso-fit-shape-to-text:t'/>
+  <p:placeholder type="body" position="1"/></v:shape>
+ <div v:shape="_x0000_s39938" class=T style='position:absolute;top:14.5%;
+ left:8.42%;width:83.14%;height:10.0%'>Network Handling</div>
+ <div v:shape="_x0000_s39939" class=B><span style='position:absolute;
+ top:39.5%;left:9.73%;width:100.56%'><span style='font-size:88%'><span
+ style='mso-special-format:bullet;position:absolute;left:-3.72%'>•</span></span><span
+ style='font-size:88%'>A signal traveling through an instantaneous path </span></span><span
+ style='position:absolute;top:45.75%;left:9.73%;width:87.45%'><span
+ style='font-size:88%'>is immediately delivered to the destination&#13;</span></span><span
+ style='position:absolute;top:53.0%;left:9.73%;width:85.01%'><span
+ style='font-size:88%'><span style='mso-special-format:bullet;position:absolute;
+ left:-4.4%'>•</span></span><span style='font-size:88%'>An oracle is supplied
+ to delaying paths to </span></span><span style='position:absolute;top:59.25%;
+ left:9.73%;width:98.87%'><span style='font-size:88%'>determine whether the
+ path forwards the signal&#13;</span></span><span style='position:absolute;
+ top:66.75%;left:9.73%;width:99.62%'><span style='font-size:88%'><span
+ style='mso-special-format:bullet;position:absolute;left:-3.75%'>•</span></span><span
+ style='font-size:88%'>If there is an inconsistency in the address of the </span></span><span
+ style='position:absolute;top:73.0%;left:9.73%;width:98.68%'><span
+ style='font-size:88%'>signal, a warning is generated, and the signal is </span></span><span
+ style='position:absolute;top:79.25%;left:9.73%;width:84.45%'><span
+ style='font-size:88%'>discarded</span></span></div>
+</p:slide></div>
+
+</body>
+
+</html>