Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
Nächste Überarbeitung Beide Seiten der Revision
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 16:22]
barakat
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 16:28]
barakat
Zeile 515: Zeile 515:
   - Claus Pahl, A PiCalculus based Framework for the Composition and Replacement of Components. In Workshop on Specification and Verification of Component-Based Systems (OOPSLA 2001), 2001.   - Claus Pahl, A PiCalculus based Framework for the Composition and Replacement of Components. In Workshop on Specification and Verification of Component-Based Systems (OOPSLA 2001), 2001.
  
 +
 +=== Contact ===
 +
 +<​html>​
 +<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="&#​960;​Calculus-Dateien/​filelist.xml">​
 +<!--[if gte mso 9]><​xml>​
 + <​o:​DocumentProperties>​
 +  <​o:​Author>​Kamal Barakat</​o:​Author>​
 +  <​o:​LastAuthor>​Kamal Barakat</​o:​LastAuthor>​
 +  <​o:​Revision>​2</​o:​Revision>​
 +  <​o:​Created>​2009-09-24T14:​21:​00Z</​o:​Created>​
 +  <​o:​LastSaved>​2009-09-24T14:​26:​00Z</​o:​LastSaved>​
 +  <​o:​Pages>​1</​o:​Pages>​
 +  <​o:​Words>​23</​o:​Words>​
 +  <​o:​Characters>​145</​o:​Characters>​
 +  <​o:​Company>​RWTH Aachen</​o:​Company>​
 +  <​o:​Lines>​1</​o:​Lines>​
 +  <​o:​Paragraphs>​1</​o:​Paragraphs>​
 +  <​o:​CharactersWithSpaces>​167</​o:​CharactersWithSpaces>​
 +  <​o:​Version>​12.00</​o:​Version>​
 + </​o:​DocumentProperties>​
 +</​xml><​![endif]-->​
 +<link rel=themeData href="&#​960;​Calculus-Dateien/​themedata.thmx">​
 +<link rel=colorSchemeMapping href="&#​960;​Calculus-Dateien/​colorschememapping.xml">​
 +<!--[if gte mso 9]><​xml>​
 + <​w:​WordDocument>​
 +  <​w:​SpellingState>​Clean</​w:​SpellingState>​
 +  <​w:​GrammarState>​Clean</​w:​GrammarState>​
 +  <​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="&#​45;​-"/>​
 +   <​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:​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:"​\@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;}
 + /* 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;​}
 +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;​}
 +span.SpellE
 + {mso-style-name:"";​
 + mso-spl-e:​yes;​}
 +.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;​}
 +-->
 +</​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="​3074"/>​
 +</​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>​
 +
 +<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 5.4pt 0cm 5.4pt;​mso-border-insideh:​none;​mso-border-insidev:​
 + ​none'>​
 + <​tr style='​mso-yfti-irow:​0;​mso-yfti-firstrow:​yes;​mso-yfti-lastrow:​yes'>​
 +  <td width="​33%"​ style='​width:​33.32%;​border-top:​none;​border-left:​solid black 1.0pt;
 +  mso-border-left-themecolor:​text1;​border-bottom:​solid black 1.0pt;​mso-border-bottom-themecolor:​
 +  text1;​border-right:​none;​mso-border-left-alt:​solid black .5pt;​mso-border-left-themecolor:​
 +  text1;​mso-border-bottom-alt:​solid black .5pt;​mso-border-bottom-themecolor:​
 +  text1;​padding:​0cm 5.4pt 0cm 5.4pt'>​
 +  <p class=MsoNormal><​b><​span lang=EN-US style='​font-size:​11.0pt'>​Kamal Barakat<​o:​p></​o:​p></​span></​b></​p>​
 +  <p class=MsoNormal><​span lang=EN-US style='​font-size:​11.0pt'><​o:​p>&​nbsp;</​o:​p></​span></​p>​
 +  </td>
 +  <td width="​33%"​ style='​width:​33.34%;​border-top:​solid black 1.0pt;​mso-border-top-themecolor:​
 +  text1;​border-left:​none;​border-bottom:​solid black 1.0pt;​mso-border-bottom-themecolor:​
 +  text1;​border-right:​none;​mso-border-top-alt:​solid black .5pt;​mso-border-top-themecolor:​
 +  text1;​mso-border-bottom-alt:​solid black .5pt;​mso-border-bottom-themecolor:​
 +  text1;​padding:​0cm 5.4pt 0cm 5.4pt'>​
 +
 +  <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"><​span class=SpellE>​barakat</​span>​
 +  [at] embedded [dot] <span class=SpellE>​rwth-aachen</​span>​ [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.34%;​border-top:​solid black 1.0pt;​mso-border-top-themecolor:​
 +  text1;​border-left:​none;​border-bottom:​none;​border-right:​solid black 1.0pt;
 +  mso-border-right-themecolor:​text1;​mso-border-top-alt:​solid black .5pt;
 +  mso-border-top-themecolor:​text1;​mso-border-right-alt:​solid black .5pt;
 +  mso-border-right-themecolor:​text1;​padding:​0cm 5.4pt 0cm 5.4pt'>​
 +  <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>​
 +
 +<p class=MsoNormal><​span lang=EN-US><​o:​p>&​nbsp;</​o:​p></​span></​p>​
 +
 +</​div>​
 +
 +</​body>​
 +
 +</​html>​