%PDF-1.4
%
1 0 obj
<<
/Title ()
/Author ()
/Creator (LaTeX with hyperref package)
/ModDate (D:20120509110444+02'00')
/Subject ()
/Trapped /False
/Keywords ()
/Producer (pdfTeX-1.40.10)
/CreationDate (D:20120423150247+02'00')
/PXCViewerInfo (PDF-XChange Viewer;2.5.200.0;Dec 14 2011;19:59:08;D:20120509110444+02'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.1415926-1.40.10-2.2 \(TeX Live 2009/Debian\) kpathsea version 5.0.0)
>>
endobj
2 0 obj
<<
/Type /Catalog
/Names 3 0 R
/Pages 4 0 R
/Metadata 5 0 R
/Outlines 6 0 R
/PageMode /UseOutlines
/OpenAction 7 0 R
>>
endobj
3 0 obj
<<
/Dests 8 0 R
>>
endobj
4 0 obj
<<
/Kids [9 0 R 10 0 R]
/Type /Pages
/Count 8
>>
endobj
5 0 obj
<<
/Type /Metadata
/Length 3054
/Subtype /XML
>>
stream
2012-04-23T15:02:47+02:00
2012-05-09T11:04:44+02:00
LaTeX with hyperref package
pdfTeX-1.40.10
application/pdf
endstream
endobj
6 0 obj
<<
/Last 11 0 R
/Type /Outlines
/Count 1
/First 11 0 R
>>
endobj
7 0 obj
<<
/D [12 0 R /Fit]
/S /GoTo
>>
endobj
8 0 obj
<<
/Kids [13 0 R 14 0 R 15 0 R 16 0 R 17 0 R 18 0 R]
/Limits [(Doc-Start) (subfigure.5.2)]
>>
endobj
9 0 obj
<<
/Kids [12 0 R 19 0 R 20 0 R 21 0 R 22 0 R 23 0 R]
/Type /Pages
/Count 6
/Parent 4 0 R
>>
endobj
10 0 obj
<<
/Kids [24 0 R 25 0 R]
/Type /Pages
/Count 2
/Parent 4 0 R
>>
endobj
11 0 obj
<<
/A 26 0 R
/Title 27 0 R
/Parent 6 0 R
>>
endobj
12 0 obj
<<
/Type /Page
/Annots [28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R]
/Parent 9 0 R
/Contents 37 0 R
/MediaBox [0 0 595.276 841.89]
/Resources 38 0 R
>>
endobj
13 0 obj
<<
/Names [(Doc-Start) 39 0 R (chapter.1) 40 0 R (cite.DisciplineOfProgramming) 41 0 R (cite.JensenCPN) 42 0 R (cite.LohmannMW2007_atpn) 43 0 R (cite.LohmannW_2011_awpn) 44 0 R]
/Limits [(Doc-Start) (cite.LohmannW_2011_awpn)]
>>
endobj
14 0 obj
<<
/Names [(cite.Presburger29) 45 0 R (cite.Wagner_2011_zeus) 46 0 R (cite.Wolf_2008_topnoc) 47 0 R (figure.caption.2) 48 0 R (figure.caption.3) 49 0 R (figure.caption.4) 50 0 R]
/Limits [(cite.Presburger29) (figure.caption.4)]
>>
endobj
15 0 obj
<<
/Names [(figure.caption.5) 51 0 R (figure.caption.6) 52 0 R (page.1) 53 0 R (page.2) 54 0 R (page.3) 55 0 R (page.4) 56 0 R]
/Limits [(figure.caption.5) (page.4)]
>>
endobj
16 0 obj
<<
/Names [(page.5) 57 0 R (page.6) 58 0 R (page.7) 59 0 R (page.8) 60 0 R (section*.1) 61 0 R (section*.7) 62 0 R]
/Limits [(page.5) (section*.7)]
>>
endobj
17 0 obj
<<
/Names [(section.1.1) 63 0 R (section.1.2) 64 0 R (section.1.3) 65 0 R (section.1.4) 66 0 R (subfigure.1.1) 67 0 R (subfigure.1.2) 68 0 R]
/Limits [(section.1.1) (subfigure.1.2)]
>>
endobj
18 0 obj
<<
/Names [(subfigure.1.3) 69 0 R (subfigure.2.1) 70 0 R (subfigure.2.2) 71 0 R (subfigure.5.1) 72 0 R (subfigure.5.2) 73 0 R]
/Limits [(subfigure.1.3) (subfigure.5.2)]
>>
endobj
19 0 obj
<<
/Type /Page
/Annots [74 0 R 75 0 R]
/Parent 9 0 R
/Contents 76 0 R
/MediaBox [0 0 595.276 841.89]
/Resources 77 0 R
>>
endobj
20 0 obj
<<
/Type /Page
/Annots [78 0 R 79 0 R 80 0 R]
/Parent 9 0 R
/Contents 81 0 R
/MediaBox [0 0 595.276 841.89]
/Resources 82 0 R
>>
endobj
21 0 obj
<<
/Type /Page
/Annots [83 0 R 84 0 R 85 0 R 86 0 R]
/Parent 9 0 R
/Contents 87 0 R
/MediaBox [0 0 595.276 841.89]
/Resources 88 0 R
>>
endobj
22 0 obj
<<
/Type /Page
/Annots [89 0 R]
/Parent 9 0 R
/Contents 90 0 R
/MediaBox [0 0 595.276 841.89]
/Resources 91 0 R
>>
endobj
23 0 obj
<<
/Type /Page
/Annots [92 0 R]
/Parent 9 0 R
/Contents 93 0 R
/MediaBox [0 0 595.276 841.89]
/Resources 94 0 R
>>
endobj
24 0 obj
<<
/Type /Page
/Annots [95 0 R 96 0 R 97 0 R]
/Parent 10 0 R
/Contents 98 0 R
/MediaBox [0 0 595.276 841.89]
/Resources 99 0 R
>>
endobj
25 0 obj
<<
/Type /Page
/Annots [100 0 R 101 0 R]
/Parent 10 0 R
/Contents 102 0 R
/MediaBox [0 0 595.276 841.89]
/Resources 103 0 R
>>
endobj
26 0 obj
<<
/D (chapter.1)
/S /GoTo
>>
endobj
27 0 obj
(Partner Synthesis for Data-Dependent Services)
endobj
28 0 obj
<<
/A <<
/D (cite.Wolf_2008_topnoc)
/S /GoTo
>>
/C [0 1 0]
/H /I
/Rect [393.753 396.865 400.726 405.131]
/Type /Annot
/Border [0 0 1]
/Subtype /Link
>>
endobj
29 0 obj
<<
/A <<
/D (cite.LohmannMW2007_atpn)
/S /GoTo
>>
/C [0 1 0]
/H /I
/Rect [173.466 337.089 180.44 345.355]
/Type /Annot
/Border [0 0 1]
/Subtype /Link
>>
endobj
30 0 obj
<<
/A <<
/D (cite.Wolf_2008_topnoc)
/S /GoTo
>>
/C [0 1 0]
/H /I
/Rect [181.27 337.089 188.244 345.355]
/Type /Annot
/Border [0 0 1]
/Subtype /Link
>>
endobj
31 0 obj
<<
/A <<
/D (section.1.2)
/S /GoTo
>>
/C [1 0 0]
/H /I
/Rect [188.278 287.331 195.352 298.124]
/Type /Annot
/Border [0 0 1]
/Subtype /Link
>>
endobj
32 0 obj
<<
/A <<
/D (section.1.3)
/S /GoTo
>>
/C [1 0 0]
/H /I
/Rect [474.763 287.331 481.837 298.124]
/Type /Annot
/Border [0 0 1]
/Subtype /Link
>>
endobj
33 0 obj
<<
/A <<
/D (section.1.4)
/S /GoTo
>>
/C [1 0 0]
/H /I
/Rect [233.478 265.358 240.452 274.213]
/Type /Annot
/Border [0 0 1]
/Subtype /Link
>>
endobj
34 0 obj
<<
/A <<
/D (cite.LohmannMW2007_atpn)
/S /GoTo
>>
/C [0 1 0]
/H /I
/Rect [299.314 212.84 306.288 221.107]
/Type /Annot
/Border [0 0 1]
/Subtype /Link
>>
endobj
35 0 obj
<<
/A <<
/D (figure.caption.2)
/S /GoTo
>>
/C [1 0 0]
/H /I
/Rect [333.291 210.35 340.166 222.305]
/Type /Annot
/Border [0 0 1]
/Subtype /Link
>>
endobj
36 0 obj
<<
/A <<
/D (cite.JensenCPN)
/S /GoTo
>>
/C [0 1 0]
/H /I
/Rect [314.945 188.93 321.919 197.196]
/Type /Annot
/Border [0 0 1]
/Subtype /Link
>>
endobj
37 0 obj
<<
/Filter [/FlateDecode]
/Length 2607
>>
stream
xڝXݏ6_GX(]^.9 "Iw-,dw3%73jQV#H8
Yz)5*)vg\!iʩ0SjOKy6_[m
Qd:'kR"3Nu?4ݘ67Irlr`YdsFmvZS|;H;߷5knualZ8Ѷ_6ʴVXB() )Q%aMcd,(sd iwwk90[Կb=ŭ4D&
F?)J/%rasCҞhT7^ġ+fW6ILx}Oe귕