Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Nächste Überarbeitung Beide Seiten der Revision | |||
|
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 12:37] barakat angelegt |
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 12:38] barakat |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| <html> | <html> | ||
| - | + | coming soon | |
| - | <html xmlns:v="urn:schemas-microsoft-com:vml" | + | |
| - | xmlns:o="urn:schemas-microsoft-com:office:office" | + | |
| - | xmlns:w="urn:schemas-microsoft-com:office:word" | + | |
| - | xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" | + | |
| - | xmlns="http://www.w3.org/TR/REC-html40"> | + | |
| - | + | ||
| - | <head> | + | |
| - | <meta http-equiv=Content-Type content="text/html; charset=windows-1252"> | + | |
| - | <meta name=ProgId content=Word.Document> | + | |
| - | <meta name=Generator content="Microsoft Word 12"> | + | |
| - | <meta name=Originator content="Microsoft Word 12"> | + | |
| - | <link rel=File-List href="Projekt%20webseite-Dateien/filelist.xml"> | + | |
| - | <link rel=Edit-Time-Data href="Projekt%20webseite-Dateien/editdata.mso"> | + | |
| - | <!--[if !mso]> | + | |
| - | <style> | + | |
| - | v\:* {behavior:url(#default#VML);} | + | |
| - | o\:* {behavior:url(#default#VML);} | + | |
| - | w\:* {behavior:url(#default#VML);} | + | |
| - | .shape {behavior:url(#default#VML);} | + | |
| - | </style> | + | |
| - | <![endif]--> | + | |
| - | <title>Applying Formal Methods for QoS Provisioning in Mobile Architectures</title> | + | |
| - | <!--[if gte mso 9]><xml> | + | |
| - | <o:DocumentProperties> | + | |
| - | <o:Author>Kamal Barakat</o:Author> | + | |
| - | <o:LastAuthor>Kamal Barakat</o:LastAuthor> | + | |
| - | <o:Revision>24</o:Revision> | + | |
| - | <o:Created>2009-09-24T09:54:00Z</o:Created> | + | |
| - | <o:LastSaved>2009-09-24T10:29:00Z</o:LastSaved> | + | |
| - | <o:Pages>2</o:Pages> | + | |
| - | <o:Words>1266</o:Words> | + | |
| - | <o:Characters>7979</o:Characters> | + | |
| - | <o:Company>RWTH Aachen</o:Company> | + | |
| - | <o:Lines>66</o:Lines> | + | |
| - | <o:Paragraphs>18</o:Paragraphs> | + | |
| - | <o:CharactersWithSpaces>9227</o:CharactersWithSpaces> | + | |
| - | <o:Version>12.00</o:Version> | + | |
| - | </o:DocumentProperties> | + | |
| - | </xml><![endif]--> | + | |
| - | <link rel=dataStoreItem href="Projekt%20webseite-Dateien/item0001.xml" | + | |
| - | target="Projekt%20webseite-Dateien/props0002.xml"> | + | |
| - | <link rel=themeData href="Projekt%20webseite-Dateien/themedata.thmx"> | + | |
| - | <link rel=colorSchemeMapping | + | |
| - | href="Projekt%20webseite-Dateien/colorschememapping.xml"> | + | |
| - | <!--[if gte mso 9]><xml> | + | |
| - | <w:WordDocument> | + | |
| - | <w:TrackMoves>false</w:TrackMoves> | + | |
| - | <w:TrackFormatting/> | + | |
| - | <w:HyphenationZone>21</w:HyphenationZone> | + | |
| - | <w:PunctuationKerning/> | + | |
| - | <w:ValidateAgainstSchemas/> | + | |
| - | <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> | + | |
| - | <w:IgnoreMixedContent>false</w:IgnoreMixedContent> | + | |
| - | <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> | + | |
| - | <w:DoNotPromoteQF/> | + | |
| - | <w:LidThemeOther>DE</w:LidThemeOther> | + | |
| - | <w:LidThemeAsian>X-NONE</w:LidThemeAsian> | + | |
| - | <w:LidThemeComplexScript>AR-SA</w:LidThemeComplexScript> | + | |
| - | <w:Compatibility> | + | |
| - | <w:BreakWrappedTables/> | + | |
| - | <w:SnapToGridInCell/> | + | |
| - | <w:WrapTextWithPunct/> | + | |
| - | <w:UseAsianBreakRules/> | + | |
| - | <w:DontGrowAutofit/> | + | |
| - | <w:SplitPgBreakAndParaMark/> | + | |
| - | <w:DontVertAlignCellWithSp/> | + | |
| - | <w:DontBreakConstrainedForcedTables/> | + | |
| - | <w:DontVertAlignInTxbx/> | + | |
| - | <w:Word11KerningPairs/> | + | |
| - | <w:CachedColBalance/> | + | |
| - | </w:Compatibility> | + | |
| - | <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel> | + | |
| - | <m:mathPr> | + | |
| - | <m:mathFont m:val="Cambria Math"/> | + | |
| - | <m:brkBin m:val="before"/> | + | |
| - | <m:brkBinSub m:val="--"/> | + | |
| - | <m:smallFrac m:val="off"/> | + | |
| - | <m:dispDef/> | + | |
| - | <m:lMargin m:val="0"/> | + | |
| - | <m:rMargin m:val="0"/> | + | |
| - | <m:defJc m:val="centerGroup"/> | + | |
| - | <m:wrapIndent m:val="1440"/> | + | |
| - | <m:intLim m:val="subSup"/> | + | |
| - | <m:naryLim m:val="undOvr"/> | + | |
| - | </m:mathPr></w:WordDocument> | + | |
| - | </xml><![endif]--><!--[if gte mso 9]><xml> | + | |
| - | <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="true" | + | |
| - | DefSemiHidden="true" DefQFormat="false" DefPriority="99" | + | |
| - | LatentStyleCount="267"> | + | |
| - | <w:LsdException Locked="false" Priority="0" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="Normal"/> | + | |
| - | <w:LsdException Locked="false" Priority="9" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="heading 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 7"/> | + | |
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 8"/> | + | |
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 9"/> | + | |
| - | <w:LsdException Locked="false" Priority="39" Name="toc 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="39" Name="toc 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="39" Name="toc 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="39" Name="toc 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="39" Name="toc 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="39" Name="toc 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="39" Name="toc 7"/> | + | |
| - | <w:LsdException Locked="false" Priority="39" Name="toc 8"/> | + | |
| - | <w:LsdException Locked="false" Priority="39" Name="toc 9"/> | + | |
| - | <w:LsdException Locked="false" Priority="35" QFormat="true" Name="caption"/> | + | |
| - | <w:LsdException Locked="false" Priority="10" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="Title"/> | + | |
| - | <w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font"/> | + | |
| - | <w:LsdException Locked="false" Priority="11" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="Subtitle"/> | + | |
| - | <w:LsdException Locked="false" Priority="22" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="Strong"/> | + | |
| - | <w:LsdException Locked="false" Priority="20" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="Emphasis"/> | + | |
| - | <w:LsdException Locked="false" Priority="59" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Table Grid"/> | + | |
| - | <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Placeholder Text"/> | + | |
| - | <w:LsdException Locked="false" Priority="1" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="No Spacing"/> | + | |
| - | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light Shading"/> | + | |
| - | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light List"/> | + | |
| - | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light Grid"/> | + | |
| - | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Shading 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Shading 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium List 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium List 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Dark List"/> | + | |
| - | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful Shading"/> | + | |
| - | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful List"/> | + | |
| - | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful Grid"/> | + | |
| - | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light Shading Accent 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light List Accent 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light Grid Accent 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium List 1 Accent 1"/> | + | |
| - | <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Revision"/> | + | |
| - | <w:LsdException Locked="false" Priority="34" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="List Paragraph"/> | + | |
| - | <w:LsdException Locked="false" Priority="29" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="Quote"/> | + | |
| - | <w:LsdException Locked="false" Priority="30" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="Intense Quote"/> | + | |
| - | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium List 2 Accent 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Dark List Accent 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful Shading Accent 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful List Accent 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful Grid Accent 1"/> | + | |
| - | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light Shading Accent 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light List Accent 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light Grid Accent 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium List 1 Accent 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium List 2 Accent 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Dark List Accent 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful Shading Accent 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful List Accent 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful Grid Accent 2"/> | + | |
| - | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light Shading Accent 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light List Accent 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light Grid Accent 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium List 1 Accent 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium List 2 Accent 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Dark List Accent 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful Shading Accent 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful List Accent 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful Grid Accent 3"/> | + | |
| - | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light Shading Accent 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light List Accent 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light Grid Accent 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium List 1 Accent 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium List 2 Accent 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Dark List Accent 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful Shading Accent 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful List Accent 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful Grid Accent 4"/> | + | |
| - | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light Shading Accent 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light List Accent 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light Grid Accent 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium List 1 Accent 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium List 2 Accent 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Dark List Accent 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful Shading Accent 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful List Accent 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful Grid Accent 5"/> | + | |
| - | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light Shading Accent 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light List Accent 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Light Grid Accent 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium List 1 Accent 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium List 2 Accent 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Dark List Accent 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful Shading Accent 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful List Accent 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" Name="Colorful Grid Accent 6"/> | + | |
| - | <w:LsdException Locked="false" Priority="19" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="Subtle Emphasis"/> | + | |
| - | <w:LsdException Locked="false" Priority="21" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="Intense Emphasis"/> | + | |
| - | <w:LsdException Locked="false" Priority="31" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="Subtle Reference"/> | + | |
| - | <w:LsdException Locked="false" Priority="32" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="Intense Reference"/> | + | |
| - | <w:LsdException Locked="false" Priority="33" SemiHidden="false" | + | |
| - | UnhideWhenUsed="false" QFormat="true" Name="Book Title"/> | + | |
| - | <w:LsdException Locked="false" Priority="37" Name="Bibliography"/> | + | |
| - | <w:LsdException Locked="false" Priority="39" QFormat="true" Name="TOC Heading"/> | + | |
| - | </w:LatentStyles> | + | |
| - | </xml><![endif]--> | + | |
| - | + | ||
| - | <style> | + | |
| - | <!-- | + | |
| - | /* Font Definitions */ | + | |
| - | @font-face | + | |
| - | {font-family:"MS Mincho"; | + | |
| - | panose-1:2 2 6 9 4 2 5 8 3 4; | + | |
| - | mso-font-alt:"\FF2D\FF33 \660E\671D"; | + | |
| - | mso-font-charset:128; | + | |
| - | mso-generic-font-family:modern; | + | |
| - | mso-font-pitch:fixed; | + | |
| - | mso-font-signature:-1610612033 1757936891 16 0 131231 0;} | + | |
| - | @font-face | + | |
| - | {font-family:"Cambria Math"; | + | |
| - | panose-1:2 4 5 3 5 4 6 3 2 4; | + | |
| - | mso-font-charset:0; | + | |
| - | mso-generic-font-family:roman; | + | |
| - | mso-font-pitch:variable; | + | |
| - | mso-font-signature:-1610611985 1107304683 0 0 159 0;} | + | |
| - | @font-face | + | |
| - | {font-family:Cambria; | + | |
| - | panose-1:2 4 5 3 5 4 6 3 2 4; | + | |
| - | mso-font-charset:0; | + | |
| - | mso-generic-font-family:roman; | + | |
| - | mso-font-pitch:variable; | + | |
| - | mso-font-signature:-1610611985 1073741899 0 0 159 0;} | + | |
| - | @font-face | + | |
| - | {font-family:Calibri; | + | |
| - | panose-1:2 15 5 2 2 2 4 3 2 4; | + | |
| - | mso-font-charset:0; | + | |
| - | mso-generic-font-family:swiss; | + | |
| - | mso-font-pitch:variable; | + | |
| - | mso-font-signature:-1610611985 1073750139 0 0 159 0;} | + | |
| - | @font-face | + | |
| - | {font-family:Tahoma; | + | |
| - | panose-1:2 11 6 4 3 5 4 4 2 4; | + | |
| - | mso-font-charset:0; | + | |
| - | mso-generic-font-family:swiss; | + | |
| - | mso-font-pitch:variable; | + | |
| - | mso-font-signature:1627400839 -2147483648 8 0 66047 0;} | + | |
| - | @font-face | + | |
| - | {font-family:"Arial Black"; | + | |
| - | panose-1:2 11 10 4 2 1 2 2 2 4; | + | |
| - | mso-font-charset:0; | + | |
| - | mso-generic-font-family:swiss; | + | |
| - | mso-font-pitch:variable; | + | |
| - | mso-font-signature:647 0 0 0 159 0;} | + | |
| - | @font-face | + | |
| - | {font-family:"Bradley Hand ITC"; | + | |
| - | panose-1:3 7 4 2 5 3 2 3 2 3; | + | |
| - | mso-font-charset:0; | + | |
| - | mso-generic-font-family:script; | + | |
| - | mso-font-pitch:variable; | + | |
| - | mso-font-signature:3 0 0 0 1 0;} | + | |
| - | @font-face | + | |
| - | {font-family:"Script MT Bold"; | + | |
| - | panose-1:3 4 6 2 4 6 7 8 9 4; | + | |
| - | mso-font-charset:0; | + | |
| - | mso-generic-font-family:script; | + | |
| - | mso-font-pitch:variable; | + | |
| - | mso-font-signature:3 0 0 0 1 0;} | + | |
| - | @font-face | + | |
| - | {font-family:"\@MS Mincho"; | + | |
| - | panose-1:2 2 6 9 4 2 5 8 3 4; | + | |
| - | mso-font-charset:128; | + | |
| - | mso-generic-font-family:modern; | + | |
| - | mso-font-pitch:fixed; | + | |
| - | mso-font-signature:-1610612033 1757936891 16 0 131231 0;} | + | |
| - | @font-face | + | |
| - | {font-family:Aharoni; | + | |
| - | panose-1:0 0 0 0 0 0 0 0 0 0; | + | |
| - | mso-font-charset:177; | + | |
| - | mso-generic-font-family:auto; | + | |
| - | mso-font-pitch:variable; | + | |
| - | mso-font-signature:2049 0 0 0 32 0;} | + | |
| - | /* Style Definitions */ | + | |
| - | p.MsoNormal, li.MsoNormal, div.MsoNormal | + | |
| - | {mso-style-unhide:no; | + | |
| - | mso-style-qformat:yes; | + | |
| - | mso-style-parent:""; | + | |
| - | margin:0cm; | + | |
| - | margin-bottom:.0001pt; | + | |
| - | mso-pagination:widow-orphan; | + | |
| - | font-size:12.0pt; | + | |
| - | font-family:"Times New Roman","serif"; | + | |
| - | mso-fareast-font-family:"MS Mincho"; | + | |
| - | mso-ansi-language:EN-US; | + | |
| - | mso-fareast-language:JA;} | + | |
| - | h1 | + | |
| - | {mso-style-priority:9; | + | |
| - | mso-style-unhide:no; | + | |
| - | mso-style-qformat:yes; | + | |
| - | mso-style-link:"Überschrift 1 Zchn"; | + | |
| - | mso-style-next:Standard; | + | |
| - | margin-top:24.0pt; | + | |
| - | margin-right:0cm; | + | |
| - | margin-bottom:0cm; | + | |
| - | margin-left:0cm; | + | |
| - | margin-bottom:.0001pt; | + | |
| - | mso-pagination:widow-orphan lines-together; | + | |
| - | page-break-after:avoid; | + | |
| - | mso-outline-level:1; | + | |
| - | font-size:14.0pt; | + | |
| - | font-family:"Cambria","serif"; | + | |
| - | mso-ascii-font-family:Cambria; | + | |
| - | mso-ascii-theme-font:major-latin; | + | |
| - | mso-fareast-font-family:"Times New Roman"; | + | |
| - | mso-fareast-theme-font:major-fareast; | + | |
| - | mso-hansi-font-family:Cambria; | + | |
| - | mso-hansi-theme-font:major-latin; | + | |
| - | mso-bidi-font-family:"Times New Roman"; | + | |
| - | mso-bidi-theme-font:major-bidi; | + | |
| - | color:#365F91; | + | |
| - | mso-themecolor:accent1; | + | |
| - | mso-themeshade:191; | + | |
| - | mso-font-kerning:0pt; | + | |
| - | mso-ansi-language:EN-US; | + | |
| - | mso-fareast-language:JA;} | + | |
| - | h2 | + | |
| - | {mso-style-priority:9; | + | |
| - | mso-style-qformat:yes; | + | |
| - | mso-style-link:"Überschrift 2 Zchn"; | + | |
| - | mso-style-next:Standard; | + | |
| - | margin-top:12.0pt; | + | |
| - | margin-right:0cm; | + | |
| - | margin-bottom:3.0pt; | + | |
| - | margin-left:0cm; | + | |
| - | line-height:115%; | + | |
| - | mso-pagination:widow-orphan; | + | |
| - | page-break-after:avoid; | + | |
| - | mso-outline-level:2; | + | |
| - | font-size:14.0pt; | + | |
| - | font-family:"Cambria","serif"; | + | |
| - | mso-fareast-font-family:"Times New Roman"; | + | |
| - | mso-bidi-font-family:"Times New Roman"; | + | |
| - | mso-fareast-language:EN-US; | + | |
| - | font-style:italic;} | + | |
| - | p.MsoCaption, li.MsoCaption, div.MsoCaption | + | |
| - | {mso-style-priority:35; | + | |
| - | mso-style-qformat:yes; | + | |
| - | mso-style-next:Standard; | + | |
| - | margin-top:0cm; | + | |
| - | margin-right:0cm; | + | |
| - | margin-bottom:10.0pt; | + | |
| - | margin-left:0cm; | + | |
| - | mso-pagination:widow-orphan; | + | |
| - | font-size:9.0pt; | + | |
| - | font-family:"Times New Roman","serif"; | + | |
| - | mso-fareast-font-family:"MS Mincho"; | + | |
| - | color:#4F81BD; | + | |
| - | mso-themecolor:accent1; | + | |
| - | mso-ansi-language:EN-US; | + | |
| - | mso-fareast-language:JA; | + | |
| - | font-weight:bold;} | + | |
| - | a:link, span.MsoHyperlink | + | |
| - | {mso-style-noshow:yes; | + | |
| - | mso-style-priority:99; | + | |
| - | color:blue; | + | |
| - | mso-themecolor:hyperlink; | + | |
| - | text-decoration:underline; | + | |
| - | text-underline:single;} | + | |
| - | a:visited, span.MsoHyperlinkFollowed | + | |
| - | {mso-style-noshow:yes; | + | |
| - | mso-style-priority:99; | + | |
| - | color:purple; | + | |
| - | mso-themecolor:followedhyperlink; | + | |
| - | text-decoration:underline; | + | |
| - | text-underline:single;} | + | |
| - | p.MsoAcetate, li.MsoAcetate, div.MsoAcetate | + | |
| - | {mso-style-noshow:yes; | + | |
| - | mso-style-priority:99; | + | |
| - | mso-style-link:"Sprechblasentext Zchn"; | + | |
| - | margin:0cm; | + | |
| - | margin-bottom:.0001pt; | + | |
| - | mso-pagination:widow-orphan; | + | |
| - | font-size:8.0pt; | + | |
| - | font-family:"Tahoma","sans-serif"; | + | |
| - | mso-fareast-font-family:"MS Mincho"; | + | |
| - | mso-ansi-language:EN-US; | + | |
| - | mso-fareast-language:JA;} | + | |
| - | span.berschrift1Zchn | + | |
| - | {mso-style-name:"Überschrift 1 Zchn"; | + | |
| - | mso-style-priority:9; | + | |
| - | mso-style-unhide:no; | + | |
| - | mso-style-locked:yes; | + | |
| - | mso-style-link:"Überschrift 1"; | + | |
| - | mso-ansi-font-size:14.0pt; | + | |
| - | mso-bidi-font-size:14.0pt; | + | |
| - | font-family:"Cambria","serif"; | + | |
| - | mso-ascii-font-family:Cambria; | + | |
| - | mso-ascii-theme-font:major-latin; | + | |
| - | mso-fareast-font-family:"Times New Roman"; | + | |
| - | mso-fareast-theme-font:major-fareast; | + | |
| - | mso-hansi-font-family:Cambria; | + | |
| - | mso-hansi-theme-font:major-latin; | + | |
| - | mso-bidi-font-family:"Times New Roman"; | + | |
| - | mso-bidi-theme-font:major-bidi; | + | |
| - | color:#365F91; | + | |
| - | mso-themecolor:accent1; | + | |
| - | mso-themeshade:191; | + | |
| - | mso-ansi-language:EN-US; | + | |
| - | mso-fareast-language:JA; | + | |
| - | font-weight:bold;} | + | |
| - | span.berschrift2Zchn | + | |
| - | {mso-style-name:"Überschrift 2 Zchn"; | + | |
| - | mso-style-priority:9; | + | |
| - | mso-style-unhide:no; | + | |
| - | mso-style-locked:yes; | + | |
| - | mso-style-link:"Überschrift 2"; | + | |
| - | mso-ansi-font-size:14.0pt; | + | |
| - | mso-bidi-font-size:14.0pt; | + | |
| - | font-family:"Cambria","serif"; | + | |
| - | mso-ascii-font-family:Cambria; | + | |
| - | mso-fareast-font-family:"Times New Roman"; | + | |
| - | mso-hansi-font-family:Cambria; | + | |
| - | mso-bidi-font-family:"Times New Roman"; | + | |
| - | font-weight:bold; | + | |
| - | font-style:italic;} | + | |
| - | span.SprechblasentextZchn | + | |
| - | {mso-style-name:"Sprechblasentext Zchn"; | + | |
| - | mso-style-noshow:yes; | + | |
| - | mso-style-priority:99; | + | |
| - | mso-style-unhide:no; | + | |
| - | mso-style-locked:yes; | + | |
| - | mso-style-link:Sprechblasentext; | + | |
| - | mso-ansi-font-size:8.0pt; | + | |
| - | mso-bidi-font-size:8.0pt; | + | |
| - | font-family:"Tahoma","sans-serif"; | + | |
| - | mso-ascii-font-family:Tahoma; | + | |
| - | mso-fareast-font-family:"MS Mincho"; | + | |
| - | mso-hansi-font-family:Tahoma; | + | |
| - | mso-bidi-font-family:Tahoma; | + | |
| - | mso-ansi-language:EN-US; | + | |
| - | mso-fareast-language:JA;} | + | |
| - | .MsoChpDefault | + | |
| - | {mso-style-type:export-only; | + | |
| - | mso-default-props:yes; | + | |
| - | font-size:10.0pt; | + | |
| - | mso-ansi-font-size:10.0pt; | + | |
| - | mso-bidi-font-size:10.0pt; | + | |
| - | mso-ascii-font-family:Calibri; | + | |
| - | mso-ascii-theme-font:minor-latin; | + | |
| - | mso-fareast-font-family:Calibri; | + | |
| - | mso-fareast-theme-font:minor-latin; | + | |
| - | mso-hansi-font-family:Calibri; | + | |
| - | mso-hansi-theme-font:minor-latin; | + | |
| - | mso-bidi-font-family:"Times New Roman"; | + | |
| - | mso-bidi-theme-font:minor-bidi; | + | |
| - | mso-fareast-language:EN-US;} | + | |
| - | @page Section1 | + | |
| - | {size:595.3pt 841.9pt; | + | |
| - | margin:70.85pt 70.85pt 2.0cm 70.85pt; | + | |
| - | mso-header-margin:35.4pt; | + | |
| - | mso-footer-margin:35.4pt; | + | |
| - | mso-paper-source:0;} | + | |
| - | div.Section1 | + | |
| - | {page:Section1;} | + | |
| - | /* List Definitions */ | + | |
| - | @list l0 | + | |
| - | {mso-list-id:736167216; | + | |
| - | mso-list-type:hybrid; | + | |
| - | mso-list-template-ids:1693595538 67567617 67567619 67567621 67567617 67567619 67567621 67567617 67567619 67567621;} | + | |
| - | @list l0:level1 | + | |
| - | {mso-level-number-format:bullet; | + | |
| - | mso-level-text:\F0B7; | + | |
| - | mso-level-tab-stop:none; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt; | + | |
| - | font-family:Symbol;} | + | |
| - | @list l0:level2 | + | |
| - | {mso-level-tab-stop:72.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l0:level3 | + | |
| - | {mso-level-tab-stop:108.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l0:level4 | + | |
| - | {mso-level-tab-stop:144.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l0:level5 | + | |
| - | {mso-level-tab-stop:180.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l0:level6 | + | |
| - | {mso-level-tab-stop:216.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l0:level7 | + | |
| - | {mso-level-tab-stop:252.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l0:level8 | + | |
| - | {mso-level-tab-stop:288.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l0:level9 | + | |
| - | {mso-level-tab-stop:324.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l1 | + | |
| - | {mso-list-id:756679102; | + | |
| - | mso-list-type:hybrid; | + | |
| - | mso-list-template-ids:782923292 67567617 67567619 67567621 67567617 67567619 67567621 67567617 67567619 67567621;} | + | |
| - | @list l1:level1 | + | |
| - | {mso-level-number-format:bullet; | + | |
| - | mso-level-text:\F0B7; | + | |
| - | mso-level-tab-stop:none; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt; | + | |
| - | font-family:Symbol;} | + | |
| - | @list l1:level2 | + | |
| - | {mso-level-tab-stop:72.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l1:level3 | + | |
| - | {mso-level-tab-stop:108.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l1:level4 | + | |
| - | {mso-level-tab-stop:144.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l1:level5 | + | |
| - | {mso-level-tab-stop:180.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l1:level6 | + | |
| - | {mso-level-tab-stop:216.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l1:level7 | + | |
| - | {mso-level-tab-stop:252.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l1:level8 | + | |
| - | {mso-level-tab-stop:288.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l1:level9 | + | |
| - | {mso-level-tab-stop:324.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l2 | + | |
| - | {mso-list-id:2141721082; | + | |
| - | mso-list-type:hybrid; | + | |
| - | mso-list-template-ids:-1980831990 67567617 67567619 67567621 67567617 67567619 67567621 67567617 67567619 67567621;} | + | |
| - | @list l2:level1 | + | |
| - | {mso-level-number-format:bullet; | + | |
| - | mso-level-text:\F0B7; | + | |
| - | mso-level-tab-stop:none; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt; | + | |
| - | font-family:Symbol;} | + | |
| - | @list l2:level2 | + | |
| - | {mso-level-tab-stop:72.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l2:level3 | + | |
| - | {mso-level-tab-stop:108.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l2:level4 | + | |
| - | {mso-level-tab-stop:144.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l2:level5 | + | |
| - | {mso-level-tab-stop:180.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l2:level6 | + | |
| - | {mso-level-tab-stop:216.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l2:level7 | + | |
| - | {mso-level-tab-stop:252.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l2:level8 | + | |
| - | {mso-level-tab-stop:288.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | @list l2:level9 | + | |
| - | {mso-level-tab-stop:324.0pt; | + | |
| - | mso-level-number-position:left; | + | |
| - | text-indent:-18.0pt;} | + | |
| - | ol | + | |
| - | {margin-bottom:0cm;} | + | |
| - | ul | + | |
| - | {margin-bottom:0cm;} | + | |
| - | --> | + | |
| - | </style> | + | |
| - | <!--[if gte mso 10]> | + | |
| - | <style> | + | |
| - | /* Style Definitions */ | + | |
| - | table.MsoNormalTable | + | |
| - | {mso-style-name:"Normale Tabelle"; | + | |
| - | mso-tstyle-rowband-size:0; | + | |
| - | mso-tstyle-colband-size:0; | + | |
| - | mso-style-noshow:yes; | + | |
| - | mso-style-priority:99; | + | |
| - | mso-style-qformat:yes; | + | |
| - | mso-style-parent:""; | + | |
| - | mso-padding-alt:0cm 5.4pt 0cm 5.4pt; | + | |
| - | mso-para-margin:0cm; | + | |
| - | mso-para-margin-bottom:.0001pt; | + | |
| - | mso-pagination:widow-orphan; | + | |
| - | font-size:10.0pt; | + | |
| - | font-family:"Calibri","sans-serif"; | + | |
| - | mso-ascii-font-family:Calibri; | + | |
| - | mso-ascii-theme-font:minor-latin; | + | |
| - | mso-hansi-font-family:Calibri; | + | |
| - | mso-hansi-theme-font:minor-latin; | + | |
| - | mso-fareast-language:EN-US;} | + | |
| - | table.MsoTableGrid | + | |
| - | {mso-style-name:Tabellengitternetz; | + | |
| - | mso-tstyle-rowband-size:0; | + | |
| - | mso-tstyle-colband-size:0; | + | |
| - | mso-style-priority:59; | + | |
| - | mso-style-unhide:no; | + | |
| - | border:solid black 1.0pt; | + | |
| - | mso-border-themecolor:text1; | + | |
| - | mso-border-alt:solid black .5pt; | + | |
| - | mso-border-themecolor:text1; | + | |
| - | mso-padding-alt:0cm 5.4pt 0cm 5.4pt; | + | |
| - | mso-border-insideh:.5pt solid black; | + | |
| - | mso-border-insideh-themecolor:text1; | + | |
| - | mso-border-insidev:.5pt solid black; | + | |
| - | mso-border-insidev-themecolor:text1; | + | |
| - | mso-para-margin:0cm; | + | |
| - | mso-para-margin-bottom:.0001pt; | + | |
| - | mso-pagination:widow-orphan; | + | |
| - | font-size:11.0pt; | + | |
| - | font-family:"Calibri","sans-serif"; | + | |
| - | mso-ascii-font-family:Calibri; | + | |
| - | mso-ascii-theme-font:minor-latin; | + | |
| - | mso-hansi-font-family:Calibri; | + | |
| - | mso-hansi-theme-font:minor-latin; | + | |
| - | mso-fareast-language:EN-US;} | + | |
| - | </style> | + | |
| - | <![endif]--><!--[if gte mso 9]><xml> | + | |
| - | <o:shapedefaults v:ext="edit" spidmax="6146"/> | + | |
| - | </xml><![endif]--><!--[if gte mso 9]><xml> | + | |
| - | <o:shapelayout v:ext="edit"> | + | |
| - | <o:idmap v:ext="edit" data="1"/> | + | |
| - | </o:shapelayout></xml><![endif]--> | + | |
| - | </head> | + | |
| - | + | ||
| - | <body lang=DE link=blue vlink=purple style='tab-interval:35.4pt'> | + | |
| - | + | ||
| - | <div class=Section1> | + | |
| - | + | ||
| - | <div align=center> | + | |
| - | + | ||
| - | <table class=MsoTableGrid border=0 cellspacing=0 cellpadding=0 width="100%" | + | |
| - | style='width:100.0%;border-collapse:collapse;border:none;mso-yfti-tbllook: | + | |
| - | 1184;mso-padding-alt:0cm 2.0cm 0cm 2.0cm;mso-border-insideh:none;mso-border-insidev: | + | |
| - | none'> | + | |
| - | <tr style='mso-yfti-irow:0;mso-yfti-firstrow:yes'> | + | |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <h1><span lang=EN-US style='font-size:22.0pt'>Applying Formal Methods for QoS | + | |
| - | Provisioning in Mobile Architectures<o:p></o:p></span></h1> | + | |
| - | + | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><!--[if gte vml 1]><v:shapetype | + | |
| - | id="_x0000_t75" coordsize="21600,21600" o:spt="75" o:preferrelative="t" | + | |
| - | path="m@4@5l@4@11@9@11@9@5xe" filled="f" stroked="f"> | + | |
| - | <v:stroke joinstyle="miter"/> | + | |
| - | <v:formulas> | + | |
| - | <v:f eqn="if lineDrawn pixelLineWidth 0"/> | + | |
| - | <v:f eqn="sum @0 1 0"/> | + | |
| - | <v:f eqn="sum 0 0 @1"/> | + | |
| - | <v:f eqn="prod @2 1 2"/> | + | |
| - | <v:f eqn="prod @3 21600 pixelWidth"/> | + | |
| - | <v:f eqn="prod @3 21600 pixelHeight"/> | + | |
| - | <v:f eqn="sum @0 0 1"/> | + | |
| - | <v:f eqn="prod @6 1 2"/> | + | |
| - | <v:f eqn="prod @7 21600 pixelWidth"/> | + | |
| - | <v:f eqn="sum @8 21600 0"/> | + | |
| - | <v:f eqn="prod @7 21600 pixelHeight"/> | + | |
| - | <v:f eqn="sum @10 21600 0"/> | + | |
| - | </v:formulas> | + | |
| - | <v:path o:extrusionok="f" gradientshapeok="t" o:connecttype="rect"/> | + | |
| - | <o:lock v:ext="edit" aspectratio="t"/> | + | |
| - | </v:shapetype><v:shape id="Bild_x0020_14" o:spid="_x0000_s1055" type="#_x0000_t75" | + | |
| - | alt="komplex" style='position:absolute;left:0;text-align:left;margin-left:151.25pt; | + | |
| - | margin-top:12.4pt;width:191.25pt;height:176.25pt;z-index:2;visibility:visible; | + | |
| - | mso-wrap-style:square;mso-wrap-distance-left:28.35pt; | + | |
| - | mso-wrap-distance-top:14.2pt;mso-wrap-distance-right:28.35pt; | + | |
| - | mso-wrap-distance-bottom:14.2pt;mso-position-horizontal:right; | + | |
| - | mso-position-horizontal-relative:text;mso-position-vertical:absolute; | + | |
| - | mso-position-vertical-relative:text'> | + | |
| - | <v:imagedata src="image001.jpg" o:title="komplex"/> | + | |
| - | <w:wrap type="square" side="left"/> | + | |
| - | </v:shape><![endif]--><![if !vml]><img width=255 height=235 | + | |
| - | src="image007.jpg" align=right hspace=38 | + | |
| - | vspace=19 alt=komplex v:shapes="Bild_x0020_14"><![endif]><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>This project | + | |
| - | focuses on the application of formal methods to model and manage QoS for | + | |
| - | Network Mobility. The field of network mobility is gaining ground in | + | |
| - | telecommunications because of the evolution of broadband technologies and the | + | |
| - | increasing applications that demand broadband access, e.g. connectivity in | + | |
| - | public transportation and IMS. Network Mobility is the field that considers | + | |
| - | sets of mobile devices moving together as one entity with one or more access | + | |
| - | points which are called mobile routers. These networks are standardized under | + | |
| - | the IETF-RFC3963 specification also known as NEMO Basic Support, while QoS | + | |
| - | challenges are described in IETF-RFC4980. NEMO BS is an extension to MIPv6 | + | |
| - | described under IETF-RFC3775. Mobile routers can possess multiple Radio | + | |
| - | Access Technologies (RATs) and have to perform real-time operations, e.g. | + | |
| - | handover, managing binding updates, merging/splitting mobile networks and | + | |
| - | managing QoS. The intelligent management of mobility, data streams of | + | |
| - | different QoS requirements and the available RATs makes the formalization of | + | |
| - | this problem a necessity due to its complexity. The importance of this study | + | |
| - | comes from the industry focus on network operator’s IP services, especially | + | |
| - | IMS. NEMO BS provides a solution for this system and at the same time | + | |
| - | requires investment in research to improve QoS.<o:p></o:p></span></p> | + | |
| - | </td> | + | |
| - | </tr> | + | |
| - | <tr style='mso-yfti-irow:1'> | + | |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | + | |
| - | style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'>Work Plan<o:p></o:p></span></h2> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>This | + | |
| - | work consists of two main parts; building the formal model and simulating the | + | |
| - | NEMO protocol. These parts are to be run in parallel to achieve | + | |
| - | interdependability. This means that simulation measurements will be used to | + | |
| - | support theoretic hypothesis made by the formalized description of the QoS | + | |
| - | problem. On the other hand, formal tools have to<span style='mso-no-proof: | + | |
| - | yes'> </span><span style='mso-spacerun:yes'> </span>be implemented in order | + | |
| - | to be able to incorporate extensions which in turn will allow making | + | |
| - | predictions of the behavior of the modeled system in a similar way to | + | |
| - | simulations. This means that these tools will be designed to be able to | + | |
| - | generate quantitative as well as qualitative conclusions.<o:p></o:p></span></p> | + | |
| - | + | ||
| - | </td> | + | |
| - | </tr> | + | |
| - | <tr style='mso-yfti-irow:2'> | + | |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | + | |
| - | style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'>The Formal | + | |
| - | Model<o:p></o:p></span></h2> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><span | + | |
| - | lang=EN-US style='font-size:100.0pt;font-family:"Bradley Hand ITC"; | + | |
| - | mso-bidi-font-family:Arial;color:#0070C0'>π</span><b><span lang=EN-US | + | |
| - | style='font-size:28.0pt;font-family:"Script MT Bold";mso-bidi-font-family: | + | |
| - | Arial'>Calculus</span></b><span lang=EN-US style='font-size:72.0pt; | + | |
| - | font-family:"Bradley Hand ITC";mso-bidi-font-family:Arial'><o:p></o:p></span></p> | + | |
| - | </td> | + | |
| - | + | ||
| - | </tr> | + | |
| - | <tr style='mso-yfti-irow:3'> | + | |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Π-Calculus | + | |
| - | is a modeling formality that focuses on communicating processes. It offers | + | |
| - | firm representation of connectivity and messaging using math-like | + | |
| - | expressions. Π-Calculus had initially a monadic syntax where single | + | |
| - | arguments are passed through channels. Later on, polyadic π-Calculus was | + | |
| - | introduced to allow pushing sets of arguments at once over the communication | + | |
| - | channels. Process replication was also introduced. In the higher order | + | |
| - | π-Calculus, process names can be exchanged through the channels too. | + | |
| - | Some research uses available syntax to express problems like QoS while others | + | |
| - | ground their own flavor of it by introducing modifications to the syntax like | + | |
| - | spi-Calculus which is specifically suitable for cryptology. One more example | + | |
| - | is Ambient-Calculus which concerns itself with defining computation domains | + | |
| - | or ambiences where communication between local processes happens within its | + | |
| - | boundary, ambiences can move and communication crossing the border is | + | |
| - | analogous to crossing firewalls. The extensibility, expressiveness, | + | |
| - | flexibility and firm formality of π-Calculus make it the most suitable | + | |
| - | tool for modeling communication protocols and prototypes of enhancements. | + | |
| - | This work aims to make further contributions to π-Calculus in order to | + | |
| - | achieve the following:</span><span lang=EN-US style='font-size:10.0pt; | + | |
| - | font-family:"Arial","sans-serif";mso-fareast-language:DE;mso-no-proof:yes'> <o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | + | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Π-Calculus is | + | |
| - | founded on the principle of state automata. Consequently, processes in | + | |
| - | π-Calculus interact and switch their states upon reception of messages | + | |
| - | over communication channels, which means that message reception among | + | |
| - | processes triggers the interaction and causes the system to evolve. However, | + | |
| - | modeling real-world systems needs more than that. The notion of time is | + | |
| - | currently unavailable in the syntax of π-Calculus, which makes it | + | |
| - | unsuitable for performing simulations in which particular events take place | + | |
| - | at certain points of time, e.g. time-out events. In this work we aim to | + | |
| - | introduce a new component in the syntax of π-Calculus to enable it to | + | |
| - | model timed events.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Π-Calculus is | + | |
| - | suitable for deducing qualitative conclusions about processes’ interaction | + | |
| - | and states. However, more meaningful verification results can be made when | + | |
| - | quantitative conclusions are made from the π-Calculus model such as | + | |
| - | bandwidth utilization and power consumption. This can be done if the notion | + | |
| - | of time was present in the model. Available tools for π-Calculus have | + | |
| - | limitations to be covered, e.g. polyadic π-Calculus has to be supported | + | |
| - | in order to be able to model process replication. Otherwise, polyadic systems | + | |
| - | have to be downgraded to monadic syntax which is unrealistic for complex | + | |
| - | systems.<o:p></o:p></span></p> | + | |
| - | + | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>There have been | + | |
| - | models suggested about using π-Calculus to model QoS supervision in | + | |
| - | telecommunication networks. As our work touches the foundations of | + | |
| - | π-Calculus, we would like to see how these changes will affect the | + | |
| - | suggested models and how we can improve them.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>A π-Calculus | + | |
| - | model for NEMO BS has to be built as described in RFC3963. Software | + | |
| - | development of the protocol under the simulation tool and QoS enhancements | + | |
| - | should be based on this model. This is important to ensure strong analogy | + | |
| - | interrelationships between simulation measurements and the qualitative | + | |
| - | deductions made from the formal model.<span style='mso-spacerun:yes'> | + | |
| - | </span><o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | + | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Depending on the | + | |
| - | interdependency between simulation and formal model verification results | + | |
| - | further studies can evolve to explain observed phenomena and try to set rules | + | |
| - | to make this relation deterministic.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>The | + | |
| - | ability to make realistic assessments of modeled systems before the | + | |
| - | implementation phase using formal model checking techniques has several | + | |
| - | advantages:<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l0 level1 lfo4'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>It will be possible | + | |
| - | on basis of the qualitative attributes of the suggested model to judge | + | |
| - | whether it answers the requirements it is meant to satisfy.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l0 level1 lfo4'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | + | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>It allows | + | |
| - | quantitatively comparing formal models and making early choices about | + | |
| - | modifications and improvements.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l0 level1 lfo4'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>It shortens the | + | |
| - | software development cycle by limiting the need to go back to the model and | + | |
| - | make modifications for issues discovered after implementation.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | </td> | + | |
| - | </tr> | + | |
| - | + | ||
| - | <tr style='mso-yfti-irow:4'> | + | |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | + | |
| - | style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'>Simulating | + | |
| - | the Protocol<o:p></o:p></span></h2> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><b><span | + | |
| - | style='font-size:48.0pt;font-family:"Arial Black","sans-serif";mso-bidi-font-family: | + | |
| - | Aharoni;mso-ansi-language:DE;mso-fareast-language:DE;mso-no-proof:yes'><!--[if gte vml 1]><v:shape | + | |
| - | id="Bild_x0020_15" o:spid="_x0000_i1025" type="#_x0000_t75" style='width:231pt; | + | |
| - | height:45.75pt;visibility:visible;mso-wrap-style:square'> | + | |
| - | <v:imagedata src="image008.png" o:title=""/> | + | |
| - | </v:shape><![endif]--><![if !vml]><img width=308 height=61 | + | |
| - | src="image009.jpg" v:shapes="Bild_x0020_15"><![endif]></span></b><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p></o:p></span></p> | + | |
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | + | |
| - | style='font-size:10.0pt;line-height:115%;font-family:"Arial","sans-serif"; | + | |
| - | mso-ansi-language:EN-US'><o:p> </o:p></span></h2> | + | |
| - | + | ||
| - | </td> | + | |
| - | </tr> | + | |
| - | <tr style='mso-yfti-irow:5'> | + | |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>For this | + | |
| - | purpose OPNET Modeler® is being used under university licensing. This | + | |
| - | simulator contains a huge library of standardized protocols and devices as | + | |
| - | well as commercial ones, e.g. MIPv6 and mobile routers. The hierarchical | + | |
| - | structure of components and their modular design shortens the time required | + | |
| - | to develop own devices and extend particular protocols. To complete the | + | |
| - | required infrastructure for performing simulations the following tasks are | + | |
| - | ahead:</span><span lang=EN-US style='font-size:1.0pt;mso-fareast-font-family: | + | |
| - | "Times New Roman";color:black;background:black;mso-ansi-language:X-NONE; | + | |
| - | mso-fareast-language:X-NONE;mso-bidi-language:X-NONE;layout-grid-mode:line'> </span><span | + | |
| - | style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman";color:black; | + | |
| - | background:black;mso-ansi-language:DE;mso-fareast-language:X-NONE;mso-bidi-language: | + | |
| - | X-NONE;layout-grid-mode:line'><o:p></o:p></span></p> | + | |
| - | </td> | + | |
| - | </tr> | + | |
| - | <tr style='mso-yfti-irow:6'> | + | |
| - | + | ||
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <h2 align=center style='margin-bottom:6.0pt;text-align:center;mso-outline-level: | + | |
| - | 2'><!--[if gte vml 1]><o:wrapblock><v:shape id="Bild_x0020_18" o:spid="_x0000_s1054" | + | |
| - | type="#_x0000_t75" alt="architecture_lrg" style='position:absolute;left:0; | + | |
| - | text-align:left;margin-left:0;margin-top:-118.45pt;width:306pt;height:358.5pt; | + | |
| - | z-index:1;visibility:visible;mso-wrap-style:square; | + | |
| - | mso-wrap-distance-left:9pt;mso-wrap-distance-top:0; | + | |
| - | mso-wrap-distance-right:9pt;mso-wrap-distance-bottom:0; | + | |
| - | mso-position-horizontal:center;mso-position-horizontal-relative:text; | + | |
| - | mso-position-vertical:absolute;mso-position-vertical-relative:text'> | + | |
| - | <v:imagedata src="image010.gif" o:title="architecture_lrg"/> | + | |
| - | <w:wrap type="topAndBottom"/> | + | |
| - | </v:shape><![endif]--><![if !vml]><img width=408 height=478 | + | |
| - | src="image011.jpg" alt="architecture_lrg" v:shapes="Bild_x0020_18"><![endif]><!--[if gte vml 1]></o:wrapblock><![endif]--><br | + | |
| - | style='mso-ignore:vglayout' clear=ALL> | + | |
| - | <span lang=EN-US style='font-size:10.0pt;line-height:115%;font-family:"Arial","sans-serif"; | + | |
| - | mso-fareast-font-family:"MS Mincho";color:#548DD4;mso-themecolor:text2; | + | |
| - | mso-themetint:153;mso-ansi-language:EN-US;mso-fareast-language:JA;font-weight: | + | |
| - | normal;font-style:normal'>Copyright OPNET Technologies, Inc.®<o:p></o:p></span></h2> | + | |
| - | </td> | + | |
| - | </tr> | + | |
| - | <tr style='mso-yfti-irow:7'> | + | |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman"; | + | |
| - | color:black;background:black;mso-fareast-language:X-NONE;mso-bidi-language: | + | |
| - | X-NONE;layout-grid-mode:line'><o:p> </o:p></span></p> | + | |
| - | + | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Create a multi-RAT | + | |
| - | router on which the NEMO BS protocol is going to be run. Multiple RAT | + | |
| - | interfaces are necessary to study the effect of access technology switching | + | |
| - | on ongoing data sessions and to test possible QoS enhancements and | + | |
| - | strategies. This router shares its network layer between the different RATs | + | |
| - | by setting MIPv6 on top of Link Layer (LL) and Radio Resource Control (RRC) | + | |
| - | layers of available RATs. Each RAT will have its own physical, MAC, LL, Radio | + | |
| - | Link Control (RLC) and RRC of its own. On top of MIPv6 NEMO BS is going to be | + | |
| - | implemented. This structure allows for unified session management and QoS | + | |
| - | control. For this research, WiFi, WiMAX and UMTS are going to be the RATs of | + | |
| - | our mobile routers.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Create core-network | + | |
| - | components that will provide the required messaging to perform handover and | + | |
| - | domain administration. These components are described in 3GPP-23.401 and | + | |
| - | 3GPP-23.402. These specifications describe network structure for different | + | |
| - | scenarios (homing or visiting) in addition to mobility management, network | + | |
| - | selection, network access strategies and QoS provisioning.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | + | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>NEMO BS has to be | + | |
| - | modeled using our extensions of π-Calculus. Afterwards, the protocol can | + | |
| - | be implemented for simulation based on the prototyped model. This has to be | + | |
| - | done in this order because strong interdependency between simulation and | + | |
| - | formalization is required for further study purposes.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Extend MIPv6 to | + | |
| - | include NEMO BS as described in RFC3963 and according to the prototyped | + | |
| - | π-Calculus model. To allow code-reuse NEMO BS will be written above an | + | |
| - | abstraction layer that will integrate it with OPNET.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Integrate the NEMO | + | |
| - | BS extension with OPNET. At this point, full functionality of NEMO BS should | + | |
| - | be available for testing.<o:p></o:p></span></p> | + | |
| - | + | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Create test | + | |
| - | scenarios for use with simulations. These scenarios will be based on the use | + | |
| - | cases described in 3GPP-22.259. This document describes use-cases for PANs in | + | |
| - | IMS for which NEMO BS represents a suitable solution. This particular | + | |
| - | approach has been chosen in order to keep a close to industry requirements.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Collect baseline | + | |
| - | measurements against which QoS improvements are going to be evaluated.<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | + | |
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | + | |
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | + | |
| - | style='font:7.0pt "Times New Roman"'>         | + | |
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | + | |
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Modify the | + | |
| - | implementation of NEMO BS to propagate the QoS improvements made using the π-Calculus | + | |
| - | based model and collect simulation measurements. These measurements will be | + | |
| - | compared with the baseline results to assess the improvements. In addition, | + | |
| - | they will be semantically compared to the quantitative attributes of the QoS | + | |
| - | improved model to see how these results match or differ.<o:p></o:p></span></p> | + | |
| - | + | ||
| - | <h2 style='margin-bottom:6.0pt;text-align:justify;mso-outline-level:2'><span | + | |
| - | lang=EN-US style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'><o:p> </o:p></span></h2> | + | |
| - | <p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;mso-fareast-language: | + | |
| - | EN-US'><o:p> </o:p></span></p> | + | |
| - | </td> | + | |
| - | </tr> | + | |
| - | <tr style='mso-yfti-irow:8'> | + | |
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | + | |
| - | style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'>Contact<o:p></o:p></span></h2> | + | |
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman"; | + | |
| - | color:black;background:black;mso-fareast-language:X-NONE;mso-bidi-language: | + | |
| - | X-NONE;layout-grid-mode:line'><o:p> </o:p></span></p> | + | |
| - | + | ||
| - | </td> | + | |
| - | </tr> | + | |
| - | <tr style='mso-yfti-irow:9;mso-yfti-lastrow:yes'> | + | |
| - | <td width="33%" style='width:33.34%;border-top:none;border-left:solid windowtext 1.0pt; | + | |
| - | border-bottom:solid windowtext 1.0pt;border-right:none;mso-border-left-alt: | + | |
| - | solid windowtext .5pt;mso-border-bottom-alt:solid windowtext .5pt;padding: | + | |
| - | 0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <p class=MsoNormal align=center style='text-align:center'><span lang=EN-US | + | |
| - | style='font-size:11.0pt'>Kamal Barakat<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><span | + | |
| - | lang=EN-US style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman"; | + | |
| - | color:black;background:black;mso-fareast-language:X-NONE;mso-bidi-language: | + | |
| - | X-NONE;layout-grid-mode:line'><o:p> </o:p></span></p> | + | |
| - | </td> | + | |
| - | <td width="33%" style='width:33.34%;border-top:solid windowtext 1.0pt; | + | |
| - | border-left:none;border-bottom:solid windowtext 1.0pt;border-right:none; | + | |
| - | mso-border-top-alt:solid windowtext .5pt;mso-border-bottom-alt:solid windowtext .5pt; | + | |
| - | padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | + | ||
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><span | + | |
| - | lang=EN-US style='font-size:11.0pt'><a | + | |
| - | href="mailto:Barakat@embedded.rwth-aachen.de">barakat [at] embedded [dot] | + | |
| - | rwth-aachen [dot] de</a></span><span lang=EN-US style='font-size:1.0pt; | + | |
| - | mso-fareast-font-family:"Times New Roman";color:black;background:black; | + | |
| - | mso-fareast-language:X-NONE;mso-bidi-language:X-NONE;layout-grid-mode:line'><o:p></o:p></span></p> | + | |
| - | </td> | + | |
| - | <td width="33%" style='width:33.32%;border-top:solid windowtext 1.0pt; | + | |
| - | border-left:none;border-bottom:none;border-right:solid windowtext 1.0pt; | + | |
| - | mso-border-top-alt:solid windowtext .5pt;mso-border-right-alt:solid windowtext .5pt; | + | |
| - | padding:0cm 2.0cm 0cm 2.0cm'> | + | |
| - | <p class=MsoNormal align=center style='text-align:center'><span lang=EN-US | + | |
| - | style='font-size:11.0pt'>Tel. +49 (241) 80 21171<o:p></o:p></span></p> | + | |
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><span | + | |
| - | lang=EN-US style='font-size:11.0pt'>Fax +49 (241) 80 22150</span><span | + | |
| - | lang=EN-US style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman"; | + | |
| - | color:black;background:black;mso-fareast-language:X-NONE;mso-bidi-language: | + | |
| - | X-NONE;layout-grid-mode:line'><o:p></o:p></span></p> | + | |
| - | </td> | + | |
| - | </tr> | + | |
| - | + | ||
| - | </table> | + | |
| - | + | ||
| - | </div> | + | |
| - | + | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | + | |
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | + | |
| - | + | ||
| - | <p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p> | + | |
| - | + | ||
| - | </div> | + | |
| - | + | ||
| - | </body> | + | |
| - | + | ||
| - | </html> | + | |
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| </html> | </html> | ||