]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/whelp/architecture.eps
removed papers that have been moved to the new "papers" repository
[helm.git] / helm / papers / whelp / architecture.eps
diff --git a/helm/papers/whelp/architecture.eps b/helm/papers/whelp/architecture.eps
deleted file mode 100644 (file)
index 859443a..0000000
+++ /dev/null
@@ -1,441 +0,0 @@
-%!PS-Adobe-2.0 EPSF-2.0
-%%Title: architecture.fig
-%%Creator: fig2dev Version 3.2 Patchlevel 5-alpha5
-%%CreationDate: Thu Mar 10 17:53:13 2005
-%%For: asperti@mowgli (Andrea Asperti,,,)
-%%BoundingBox: 0 0 997 370
-%Magnification: 1.0000
-%%EndComments
-/$F2psDict 200 dict def
-$F2psDict begin
-$F2psDict /mtrx matrix put
-/col-1 {0 setgray} bind def
-/col0 {0.000 0.000 0.000 srgb} bind def
-/col1 {0.000 0.000 1.000 srgb} bind def
-/col2 {0.000 1.000 0.000 srgb} bind def
-/col3 {0.000 1.000 1.000 srgb} bind def
-/col4 {1.000 0.000 0.000 srgb} bind def
-/col5 {1.000 0.000 1.000 srgb} bind def
-/col6 {1.000 1.000 0.000 srgb} bind def
-/col7 {1.000 1.000 1.000 srgb} bind def
-/col8 {0.000 0.000 0.560 srgb} bind def
-/col9 {0.000 0.000 0.690 srgb} bind def
-/col10 {0.000 0.000 0.820 srgb} bind def
-/col11 {0.530 0.810 1.000 srgb} bind def
-/col12 {0.000 0.560 0.000 srgb} bind def
-/col13 {0.000 0.690 0.000 srgb} bind def
-/col14 {0.000 0.820 0.000 srgb} bind def
-/col15 {0.000 0.560 0.560 srgb} bind def
-/col16 {0.000 0.690 0.690 srgb} bind def
-/col17 {0.000 0.820 0.820 srgb} bind def
-/col18 {0.560 0.000 0.000 srgb} bind def
-/col19 {0.690 0.000 0.000 srgb} bind def
-/col20 {0.820 0.000 0.000 srgb} bind def
-/col21 {0.560 0.000 0.560 srgb} bind def
-/col22 {0.690 0.000 0.690 srgb} bind def
-/col23 {0.820 0.000 0.820 srgb} bind def
-/col24 {0.500 0.190 0.000 srgb} bind def
-/col25 {0.630 0.250 0.000 srgb} bind def
-/col26 {0.750 0.380 0.000 srgb} bind def
-/col27 {1.000 0.500 0.500 srgb} bind def
-/col28 {1.000 0.630 0.630 srgb} bind def
-/col29 {1.000 0.750 0.750 srgb} bind def
-/col30 {1.000 0.880 0.880 srgb} bind def
-/col31 {1.000 0.840 0.000 srgb} bind def
-
-end
-save
-newpath 0 370 moveto 0 0 lineto 997 0 lineto 997 370 lineto closepath clip newpath
--121.1 485.7 translate
-1 -1 scale
-
-/cp {closepath} bind def
-/ef {eofill} bind def
-/gr {grestore} bind def
-/gs {gsave} bind def
-/sa {save} bind def
-/rs {restore} bind def
-/l {lineto} bind def
-/m {moveto} bind def
-/rm {rmoveto} bind def
-/n {newpath} bind def
-/s {stroke} bind def
-/sh {show} bind def
-/slc {setlinecap} bind def
-/slj {setlinejoin} bind def
-/slw {setlinewidth} bind def
-/srgb {setrgbcolor} bind def
-/rot {rotate} bind def
-/sc {scale} bind def
-/sd {setdash} bind def
-/ff {findfont} bind def
-/sf {setfont} bind def
-/scf {scalefont} bind def
-/sw {stringwidth} bind def
-/tr {translate} bind def
-/tnt {dup dup currentrgbcolor
-  4 -2 roll dup 1 exch sub 3 -1 roll mul add
-  4 -2 roll dup 1 exch sub 3 -1 roll mul add
-  4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
-  bind def
-/shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
-  4 -2 roll mul srgb} bind def
-/reencdict 12 dict def /ReEncode { reencdict begin
-/newcodesandnames exch def /newfontname exch def /basefontname exch def
-/basefontdict basefontname findfont def /newfont basefontdict maxlength dict def
-basefontdict { exch dup /FID ne { dup /Encoding eq
-{ exch dup length array copy newfont 3 1 roll put }
-{ exch newfont 3 1 roll put } ifelse } { pop pop } ifelse } forall
-newfont /FontName newfontname put newcodesandnames aload pop
-128 1 255 { newfont /Encoding get exch /.notdef put } for
-newcodesandnames length 2 idiv { newfont /Encoding get 3 1 roll put } repeat
-newfontname newfont definefont pop end } def
-/isovec [
-8#055 /minus 8#200 /grave 8#201 /acute 8#202 /circumflex 8#203 /tilde
-8#204 /macron 8#205 /breve 8#206 /dotaccent 8#207 /dieresis
-8#210 /ring 8#211 /cedilla 8#212 /hungarumlaut 8#213 /ogonek 8#214 /caron
-8#220 /dotlessi 8#230 /oe 8#231 /OE
-8#240 /space 8#241 /exclamdown 8#242 /cent 8#243 /sterling
-8#244 /currency 8#245 /yen 8#246 /brokenbar 8#247 /section 8#250 /dieresis
-8#251 /copyright 8#252 /ordfeminine 8#253 /guillemotleft 8#254 /logicalnot
-8#255 /hyphen 8#256 /registered 8#257 /macron 8#260 /degree 8#261 /plusminus
-8#262 /twosuperior 8#263 /threesuperior 8#264 /acute 8#265 /mu 8#266 /paragraph
-8#267 /periodcentered 8#270 /cedilla 8#271 /onesuperior 8#272 /ordmasculine
-8#273 /guillemotright 8#274 /onequarter 8#275 /onehalf
-8#276 /threequarters 8#277 /questiondown 8#300 /Agrave 8#301 /Aacute
-8#302 /Acircumflex 8#303 /Atilde 8#304 /Adieresis 8#305 /Aring
-8#306 /AE 8#307 /Ccedilla 8#310 /Egrave 8#311 /Eacute
-8#312 /Ecircumflex 8#313 /Edieresis 8#314 /Igrave 8#315 /Iacute
-8#316 /Icircumflex 8#317 /Idieresis 8#320 /Eth 8#321 /Ntilde 8#322 /Ograve
-8#323 /Oacute 8#324 /Ocircumflex 8#325 /Otilde 8#326 /Odieresis 8#327 /multiply
-8#330 /Oslash 8#331 /Ugrave 8#332 /Uacute 8#333 /Ucircumflex
-8#334 /Udieresis 8#335 /Yacute 8#336 /Thorn 8#337 /germandbls 8#340 /agrave
-8#341 /aacute 8#342 /acircumflex 8#343 /atilde 8#344 /adieresis 8#345 /aring
-8#346 /ae 8#347 /ccedilla 8#350 /egrave 8#351 /eacute
-8#352 /ecircumflex 8#353 /edieresis 8#354 /igrave 8#355 /iacute
-8#356 /icircumflex 8#357 /idieresis 8#360 /eth 8#361 /ntilde 8#362 /ograve
-8#363 /oacute 8#364 /ocircumflex 8#365 /otilde 8#366 /odieresis 8#367 /divide
-8#370 /oslash 8#371 /ugrave 8#372 /uacute 8#373 /ucircumflex
-8#374 /udieresis 8#375 /yacute 8#376 /thorn 8#377 /ydieresis] def
-/Times-Roman /Times-Roman-iso isovec ReEncode
- /DrawEllipse {
-       /endangle exch def
-       /startangle exch def
-       /yrad exch def
-       /xrad exch def
-       /y exch def
-       /x exch def
-       /savematrix mtrx currentmatrix def
-       x y tr xrad yrad sc 0 0 1 startangle endangle arc
-       closepath
-       savematrix setmatrix
-       } def
-
-/$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
-/$F2psEnd {$F2psEnteredState restore end} def
-
-$F2psBegin
-10 setmiterlimit
-0 slj 0 slc
- 0.06299 0.06299 sc
-%
-% Fig objects follow
-%
-% 
-% here starts figure with depth 50
-% Arc
-7.500 slw
-0 slc
-n 6075.0 6525.0 360.0 -90.0000 90.0000 arc
-gs col0 s gr
-
-% Arc
-n 8415.0 6525.0 360.0 -90.0000 90.0000 arc
-gs col0 s gr
-
-% Arc
-n 5865.6 6654.8 311.2 -84.5748 47.7048 arc
-gs col0 s gr
-
-% Arc
-n 8342.8 6625.7 395.3 86.0490 11.5793 arcn
-gs col0 s gr
-
-% Polyline
-0 slj
-n 6075 6165 m 6075 5670 l 8415 5670 l
- 8415 6165 l gs col0 s gr 
-% Polyline
-n 6030 6885 m 6030 7380 l 8370 7380 l
- 8370 6885 l gs col0 s gr 
-% Polyline
-n 6075 5670 m
- 5895 5850 l gs col0 s gr 
-% Polyline
-n 6075 6165 m
- 5895 6345 l gs col0 s gr 
-% Polyline
-n 6030 6885 m
- 5850 7065 l gs col0 s gr 
-% Polyline
-n 6030 7380 m
- 5850 7560 l gs col0 s gr 
-% Polyline
-n 8370 7380 m
- 8190 7560 l gs col0 s gr 
-% Polyline
-n 5850 7560 m
- 8190 7560 l gs col0 s gr 
-% Polyline
-n 5850 7560 m
- 5850 7065 l gs col0 s gr 
-% Polyline
-n 5895 6345 m
- 5895 5850 l gs col0 s gr 
-/Times-Roman-iso ff 285.75 scf sf
-8640 5715 m
-gs 1 -1 sc (HTTP) col0 sh gr
-/Times-Roman-iso ff 285.75 scf sf
-8640 6030 m
-gs 1 -1 sc (SERVER) col0 sh gr
-/Times-Roman-iso ff 285.75 scf sf
-4680 7380 m
-gs 1 -1 sc (HTTP) col0 sh gr
-/Times-Roman-iso ff 285.75 scf sf
-4680 7695 m
-gs 1 -1 sc (CLIENT) col0 sh gr
-% Arc
-n 10755.0 2880.0 360.0 -90.0000 90.0000 arc
-gs col0 s gr
-
-% Arc
-n 13095.0 2880.0 360.0 -90.0000 90.0000 arc
-gs col0 s gr
-
-% Arc
-n 10545.6 3009.8 311.2 -84.5748 47.7048 arc
-gs col0 s gr
-
-% Arc
-n 13022.8 2980.7 395.3 86.0490 11.5793 arcn
-gs col0 s gr
-
-% Polyline
-n 10755 2520 m 10755 2025 l 13095 2025 l
- 13095 2520 l gs col0 s gr 
-% Polyline
-n 10710 3240 m 10710 3735 l 13050 3735 l
- 13050 3240 l gs col0 s gr 
-% Polyline
-n 10755 2025 m
- 10575 2205 l gs col0 s gr 
-% Polyline
-n 10755 2520 m
- 10575 2700 l gs col0 s gr 
-% Polyline
-n 10710 3240 m
- 10530 3420 l gs col0 s gr 
-% Polyline
-n 10710 3735 m
- 10530 3915 l gs col0 s gr 
-% Polyline
-n 13050 3735 m
- 12870 3915 l gs col0 s gr 
-% Polyline
-n 10530 3915 m
- 12870 3915 l gs col0 s gr 
-% Polyline
-n 10530 3915 m
- 10530 3420 l gs col0 s gr 
-% Polyline
-n 10575 2700 m
- 10575 2205 l gs col0 s gr 
-% Arc
-n 15435.0 2880.0 360.0 -90.0000 90.0000 arc
-gs col0 s gr
-
-% Arc
-n 15225.6 3009.8 311.2 -84.5748 47.7048 arc
-gs col0 s gr
-
-% Arc
-n 8415.0 2880.0 360.0 -90.0000 90.0000 arc
-gs col0 s gr
-
-% Arc
-n 8342.8 2980.7 395.3 86.0490 11.5793 arcn
-gs col0 s gr
-
-% Ellipse
-n 2835 3780 900 315 0 360 DrawEllipse gs col0 s gr
-
-% Ellipse
-n 2835 2160 900 315 0 360 DrawEllipse gs col0 s gr
-
-% Polyline
-gs  clippath
-10692 3135 m 10860 3135 l 10860 3075 l 10692 3075 l 10692 3075 l 10812 3105 l 10692 3135 l cp
-eoclip
-n 8730 3105 m
- 10845 3105 l gs col0 s gr gr
-
-% arrowhead
-n 10692 3135 m 10812 3105 l 10692 3075 l  col0 s
-% Polyline
-gs  clippath
-8928 2895 m 8760 2895 l 8760 2955 l 8928 2955 l 8928 2955 l 8808 2925 l 8928 2895 l cp
-eoclip
-n 10845 2925 m
- 8775 2925 l gs col0 s gr gr
-
-% arrowhead
-n 8928 2895 m 8808 2925 l 8928 2955 l  col0 s
-% Polyline
-gs  clippath
-15372 3135 m 15540 3135 l 15540 3075 l 15372 3075 l 15372 3075 l 15492 3105 l 15372 3135 l cp
-eoclip
-n 13410 3105 m
- 15525 3105 l gs col0 s gr gr
-
-% arrowhead
-n 15372 3135 m 15492 3105 l 15372 3075 l  col0 s
-% Polyline
-gs  clippath
-13608 2895 m 13440 2895 l 13440 2955 l 13608 2955 l 13608 2955 l 13488 2925 l 13608 2895 l cp
-eoclip
-n 15525 2925 m
- 13455 2925 l gs col0 s gr gr
-
-% arrowhead
-n 13608 2895 m 13488 2925 l 13608 2955 l  col0 s
-% Polyline
-n 15390 3240 m 15390 3735 l 17730 3735 l
- 17730 3240 l gs col0 s gr 
-% Polyline
-n 15435 2025 m
- 15255 2205 l gs col0 s gr 
-% Polyline
-n 15435 2520 m
- 15255 2700 l gs col0 s gr 
-% Polyline
-n 15390 3240 m
- 15210 3420 l gs col0 s gr 
-% Polyline
-n 15390 3735 m
- 15210 3915 l gs col0 s gr 
-% Polyline
-n 17730 3735 m
- 17550 3915 l gs col0 s gr 
-% Polyline
-n 15210 3915 m
- 17550 3915 l gs col0 s gr 
-% Polyline
-n 15210 3915 m
- 15210 3420 l gs col0 s gr 
-% Polyline
-n 15255 2700 m
- 15255 2205 l gs col0 s gr 
-% Polyline
-n 17730 3555 m
- 17730 2025 l gs col0 s gr 
-% Polyline
-n 15435 2025 m
- 17730 2025 l gs col0 s gr 
-% Polyline
-n 15435 2520 m
- 15435 2025 l gs col0 s gr 
-% Polyline
-n 6030 3735 m
- 5850 3915 l gs col0 s gr 
-% Polyline
-n 8370 3735 m
- 8190 3915 l gs col0 s gr 
-% Polyline
-n 5850 3915 m
- 8190 3915 l gs col0 s gr 
-% Polyline
-n 6030 3240 m 6030 3735 l 8370 3735 l
- 8370 3240 l gs col0 s gr 
-% Polyline
-n 6030 3735 m
- 6030 2025 l gs col0 s gr 
-% Polyline
-n 8415 2520 m
- 8415 2025 l gs col0 s gr 
-% Polyline
-n 6030 2025 m
- 8415 2025 l gs col0 s gr 
-% Polyline
-n 6030 2025 m
- 5850 2205 l gs col0 s gr 
-% Polyline
-n 5850 3915 m
- 5850 2205 l gs col0 s gr 
-% Polyline
-gs  clippath
-5697 3135 m 5865 3135 l 5865 3075 l 5697 3075 l 5697 3075 l 5817 3105 l 5697 3135 l cp
-eoclip
-n 3735 3105 m
- 5850 3105 l gs col0 s gr gr
-
-% arrowhead
-n 5697 3135 m 5817 3105 l 5697 3075 l  col0 s
-% Polyline
-gs  clippath
-3888 2895 m 3720 2895 l 3720 2955 l 3888 2955 l 3888 2955 l 3768 2925 l 3888 2895 l cp
-eoclip
-n 5850 2925 m
- 3735 2925 l gs col0 s gr gr
-
-% arrowhead
-n 3888 2895 m 3768 2925 l 3888 2955 l  col0 s
-% Polyline
-n 14981 2700 m 14989 2700 l gs col0 s gr
-% Polyline
-n 3735 2160 m
- 3735 3780 l gs col0 s gr 
-% Polyline
-n 1935 2160 m
- 1935 3780 l gs col0 s gr 
-/Times-Roman-iso ff 285.75 scf sf
-11340 2880 m
-gs 1 -1 sc (PROCESSOR) col0 sh gr
-/Times-Roman-iso ff 285.75 scf sf
-11430 3375 m
-gs 1 -1 sc (\(UWOBO\)) col0 sh gr
-/Times-Roman-iso ff 285.75 scf sf
-11745 2520 m
-gs 1 -1 sc (XSLT) col0 sh gr
-/Times-Roman-iso ff 285.75 scf sf
-16020 2745 m
-gs 1 -1 sc (BROWSER) col0 sh gr
-/Times-Roman-iso ff 285.75 scf sf
-16605 3015 m
-gs 1 -1 sc (+) col0 sh gr
-/Times-Roman-iso ff 285.75 scf sf
-16065 3285 m
-gs 1 -1 sc (Javascript) col0 sh gr
-/Times-Roman-iso ff 285.75 scf sf
-6615 2790 m
-gs 1 -1 sc (SEARCH) col0 sh gr
-/Times-Roman-iso ff 285.75 scf sf
-6660 3195 m
-gs 1 -1 sc (ENGINE) col0 sh gr
-/Times-Roman-iso ff 285.75 scf sf
-8910 2745 m
-gs 1 -1 sc (Helm - view) col0 sh gr
-/Times-Roman-iso ff 285.75 scf sf
-13995 2745 m
-gs 1 -1 sc (HTML) col0 sh gr
-/Times-Roman-iso ff 285.75 scf sf
-2430 3060 m
-gs 1 -1 sc (DBMS) col0 sh gr
-/Times-Roman-iso ff 285.75 scf sf
-4545 2745 m
-gs 1 -1 sc (SQL) col0 sh gr
-% here ends figure;
-$F2psEnd
-rs
-showpage
-%%Trailer
-%EOF