sE!sF;/ s l j#X9N__ {?nJIU {?/_ j^ __ {?/nJIU {?/_ j^ __ {?/nJT ,// UR/ s l jX+%e Uo5?$|o?}c s?T 1^d|& ($L\I%)$IJI$R>A EGN9W>Ut܊,i{!m :D4 U% @I$$I)I$JRI$I$$I)I$JR] :>5'k2 WUޫ~@9祉4N tyI$I$$I)I$JRI$I$$I)I$JRI$I$$I)I$JRI$I$$I)I$JRI$I$$I)I$JRI$I$$I)I$JRI$I$9YTR;jdof*pԫnCKCX 5|˩_MƖPAyV_ 6ȴUavio ;RSxgq #*taӇCvCC}I%)$IJI$R? Bx|<. R> V?|. R> V?~ Q/FI(שf}b 3?BYX Lُ k ]@7;VO}BgVm f9rح}`!7aFQ])hZ<"Oÿ]? O /Ů ZA*X_W^+4cng?%wMs H0A}UZ~gipfOLچy q T#}^vuQbAƵ wiʎ&7E>]^~; cu\RXfeeguZuVU}ƹunƲR^;VtQq -Arޘq l^ CIrVQ Il:ϳ;֓qtofͱF.u qm|lomݮ:Ǐu/f1쟵}zzޟFۻK]ڦ3WPuY@m985 QW vfd<0o{ϧX1۬j N.m= m^n5 ' > '/}.uVUl5L 6}C bO% 6}C bO%_]Ԗ?ܗ?ܗ1[W wR\ Z~j3B?ܗ [W wRX_?g?$ r_?g?$ r_|o\%Ia~ ͟P ؓ~ ͟P ؓ}pu`}s ?*u֜;/4[[lZӦwU V ][nQ=+''O K Ԭ?U_ K Ԭ?Uߣ?~|ѤJ5YX L_?3$e,ɳͰnhytk\&gQ~Ӄ[c˽m6Va+TrKC[h9S*O\~nV? Fo<`l4ᾭrq+=۸O+gYva 汐Z=`Ku|*u`aƟvPk[0e5CC {! qk]zz-d=g=PNC8[ Gm;7lo .Vo}FMmeWZ͵ƹ'EM3m6cqP Î1;VN XN9jXD=ٵ'xMs VfX+isJ ai?eQWARzcu3 >ʉ80T~:foewNT[F3}*ǚ;KG O0RI$I%)yg 5 C'K~ K ct˙/%?O0GիvS4#T??B _~DCEFkЗ۟UI Gs t%X}Kts(sŖ7{ZE[6a : YcnN۟/?B\#ݵKЪ{+m} s t*6ګ}5ѩ\1#ݹKШcdUEyOh QReq ?B_nU$#\GkЋFSihJa=(J"6 IDȥz>-T^Z@Rm0WMu/kx:'xُ˥#P[ Ä%Wg1[@!H=d*DUQzI$^ ? W ỿ(U V ]m ' Yy:x ]d}I Z ]d}I R~ Q/FK/:;vmoi`1{ ș!^˨]s/>?3$V}a!Y_2ITp6 2iʻDGDt_]8g/uƿ Y赆XsKoit1:Vk21jQu}An YI#u sa{\03!_v@T>n;v= tOGXƺK,Dkv;ACNC 'JMXȻ:61َK O ^GJc - sC\4iQ+c]0[{ ְR ft3Ud2 - `q◱뇨aίe}A2.ۀ;ng wіoM\:mȶ ž|z=XN}7[vƇ9 y.gTf- im{eo.;*T C'՟[kw7teK7垣ݍ{7gm~i u/ <ّ[ ͏&3z66kqŻeoۺ;|6:n3Uk=w9 Z'6 l#na \ze->z,mS V??F(Vޝe^9K OM$br22noN%!uXL3E&Xh, nTk=3~ ŭs6O "fSY }W[ HolШ66Xf<4{$-Va+9-hѼRtd nCcC)) f óKy{ō[ |WlK2_]}7uKDǻeu,<~uWMW44TF ?Spa~{c&( `d+ S"S[9?o㣣,Cz#}.v potCLUk ]mo;oՂķp˂1< ~#TnF6;-f o1C;ϻY :Ƴ evvBӧbݕ~ ikaI .1[WSh7յ$&jD~.+S BƱ1Ch{d *٧5kvhsvCukVtzm5=ՐysN 'S3b;N7=kt,aw#/ݎ=vUM3k v}nDolWcŸu s!m5duz1mV E4\ w4 w J Yֹc =6 _y? zM[hů̏+۷F9Jl ߓڜoߦm3Xet9 =%Z]%p똴GWk [ 5 Ev ԁ7jX &-UR \Ut$IJI$R /S^Y k?7 Odh^ ?L/]2Y>s}\ܿ(ϻTy,;$HJRɳ[ֺ`'XFU6X5ā+=9_W:Fuʾ )gq _cclx`JrTȶZ0[{ dчj˵cFAy65:(q*h+:=>FuO$Isg .Ӯ&(e8Ϩ'`yFObd +ɠ[n;^I#p GVs &j.I $&N^ DVo%Zǝ堝$Ī{hIs7ƻ - A+D($E V0]X{PR7I$eRɿ xZe(?MINI$iµO?Z)I$JRIIK$?)( "Jsȸ?NZk3S T夒I2tI%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJY X ÔRG p?JI,fE.녘U }FC~] SY6;?SExemu4n0,oi[ ͵D7\p M8W 6 I\xv >n'/_ \ +ʬ}^ ? a/'O K Ԭ?U_ K Ԭ?UOџ?J>EI%,&g?Z/ OR> vEvMvƒ8nȬ'uz첊q,' yd 퀏͞˥}c o`4nkt_ 5F68~, >ҷa;( h[O|g_ī1ַ ڍ:}7FY] 4u1BJz:suX}.v G ,0( 2j4y aWfo[۰1 xth2mo3_ m=G" Juy&EuCifC[Nc]4BTe#[PX#=m1nȿ16Ȁ&{'X{^\Xݭ8'Y( ʰNfgIΠb_oNK{C7x~Ý&ӓn>ǐ>qv_s7G'jaYfk^M9.%1 K2mvm<ה}%v ct ~U.n'τzs(v5 nV[+{#эNF-@n ݣg'|Ukv9$l l"ݵlOϳ_pٷq &ά˺O)M\؉-@TM{.zi~+C*ȥ-?4oޚ6mկh P :e6l]& ZAhԫGSov~8km6ipO!-S.EYM=7 ;vDX8mf{\ >5G,.Md3pm{l$ RnM[E"_;iۦRZN (:JFEb{YuN6V柁 i)J"W^Svp#ͨK)Us}lun^fƏ=sw[t.Wc@dQX [{ , G jk?Kkȶ{0 + [ TԔ$I) ֗ A|+Yd K >ū7U^ꢲ&BY8 ~W$zo?I/=7 n? $},xck^xipSGM ۏ % ^glo!}.y49`pIM =7 n? $ W}. -@8܊ 9o!IM}^U2ƎO ёXl9~|9kg~tNkּ9qi Vz3gI{\R$Qa^暟j>@>K?RS}$EÁ{usgQ>!%2I$RI0 f9IKI)I$JRI$I$$,ua')$I)I$JRI$I$$I)I$JRI$I$$I)I$JR > 3 )6$T Ic2,HI9%0{ 75d,ܼlkYf`9Æ 1mXƶѭ?TRkK\ $H= < SF&]u:mok hUۉ[ze9Msn2t@NhV# z^5^'Q$OF =\ /Մ|];Uunvַ`N yJ eo\q 3W"ىPg6C\gHNEUͻ 9$relpok9YCO[84`$w*91z)I% ߕW ![v~Uc|7wU V ]m ' Yy:x ]d}I Z ]d}I R~ Q/FI(ש # {X6RINo KM ۏ -$Suޑ5첢^?obV՛ ګo/q / >57_ G%赢} )sCrM6}Ki>V imXu[X`&?#gfKs%[sl2C,a!Jteu=[S.ue7|h].~)~=.a1 =_ b1@ylVߤ?x7s_^)s}Bwca"*ҳ*f5X2Mex|4w0N?T8 m4zg%,_ĭ ^U[H Xzd4wC@jRI$I$/, ~^o>?$|o?}c s?T 1^d|& (ϻQ w #Xw*\[guq-~;k|m{ں['nV-W_}#E}˳wMc2 4`݃'s-_Y0I]7>m-&4J?g`z5_gYVKT1WLs U/v9 #w0@ m3U9L_q{Kpk~!.w+}}"Ϭ?:Le9Еz/G.8}6˵tT4dqu5K \t#D8Js1_?At[dqo+Xo űy˴1Եmq+Xm#hc6Gx@=ph4ͬݡǒ#«xW잹FƺVbcshir[[dzM}}OKw]:~ mV^ `}(]3UQ0 " o@?V$c߸bm<-,<3So}x4W`ǝw+y''oå3>cwO8[EhcZ8$"qU^=WrHZh뢊cuk .DN *V0]X{PT7 @<t Y7 [ Tլo ')I$S /V ֗ A|+Y%)d 3 \N?(?_)U/2 xix"uV[0.mTGJXt2 UG,qa >R3)UMtﱡ' SHdS`qRRaʟk饏 T4;58].ieV<Bz0:}R>EIMONeT[kִ?0zSq]C)b $ Vi82n| Ӻkqk2II;Φ-U_OS x. # ij"WP <56 # ij%73-z4: @o*:ָ>K LzI H TpEifxnXfk6Otέg >i1m9 ;v1jvE{X#FVo v-xmsU#73: U} -).SY{M!O^cc,`c,;X@(_c9'!ogV ]vr$u$IJI$RI$I%)$IJI$RI$I%)$IJI$RG p?u0r3qn3˩0 a,P:If?Y ` oM/G?L - ɬߺe>AFM~o# "_Nî+}-ړ*& ~ 2p峁@ؘ۽&jS TG}l>UOG?L - ɬ:Xѝ~ڭ=@|-'UyDX!F9ɫ-'C 0̷ && p(iUhsBpaGvtK)eWq*& ~ 26;xzn%u: d8[Y?[ Kh W9_~ 2^?[ C{\Anʫs ?*r0̗[kyyڪ \ +ʵ001O嗓 % ?VGԟ*U % ?VGԟ*T џ?J>EI%$I)I$Jr~:Mʵ 5hgX4 %FU.&KoȪ:7ëВENhcQhᤶf|F2~B'|fUcrDS[Ӆi`]{ {[[wcZv E_'k@IkFAOMW"Wq nq1 $Y&QcqĮ59i=Ъ :m_Qxh{IWEey>@`~Tnf'ϴZ Pp.-wmIO5 ށl~=9f5b9vDk:ܺ_EvP\,q4 l;nnJvC3 Kk1StW(_v1a 4Ԩӑ1M7*1śq/m+~ "\tG.013Zcv -"x0um -IUe7 &-TI%)$IJ^Y k?7Myg |~I?5zߪ/]2~ K ctdL>Qkۈ ^\A=>? R ?x }m$\#S,%~upOYVK];5>?_ag [I.9wW ?x }m$\#S,%~upOYVK];5>?%85GI.#\!I$jTo 'Yd nIS=} c2|0? 7 g> dk^O ~jJgh6AKP [C)zOٲ6h | ԤI$I$$I)I$JRI$I$$I)I$JRI$I$$I)I$JRI$I$$I)I$JRI$I$$I)I$JRI$feUnU+aWY>8fo%SNUw7elD%Qbed [Wmޒu r }F ]#mBEm ;h'JRI$I$$I)KoV ![v~T<|>N?_@ Y R?V?_@ Y R?SF(I$kԒI$$I)I$JR 7| Ud}b{1%0 $vS8 w0 y|ʾQfpX\p| ӈI zc Aޒ>K\f \N T}SEu9<0&և<brhӏ3O# A>>?%<][\2R ?N xu~[=@xi&?;p~鳻TO~頒2)= +:2oJ;icz.5 4IT ,g:Mn*ޒ -IUcQ}d@`%l$I)I$JRY k?g ߓO S?z3O_X K'~aI$I$RI$I%8[z/D!;v_?^=kxߣN>a.lP|ab: 5N='ٴfJ^u @xI$RI$I%)$IJI$R?QTu\lڱ[*6 HINW| ~ ʼ?RIN M?Xq- 6ȓC A IJY8 ~W-e Ϸ]1}G gJ.CwOԐk5?almB>K?RS}%S {\G a&S-{Ho$c⒙.XˤGޗPn?">%uMhspI N絻'm80dž'Kի~'ILP. !&SkJ1ILPT/ZFi( 644D N\;@Jf5h'Hm?a{Cȟ%3I@[Q~m8. A!%3IATK^"1H]Qix |S4=joݜn zF i(:ڛ2@Fښ=dž?$%V$-,ip堉S4mN~c4ik~>))J [79t7T lha#ILPu4}H u4絥@%mA<4?r^[='ILPm9ŭ{K-m:v %uE-o.@Uݜn zJf HIT և} O%3IA<@%/V L vD)]=o_[^X A*_iwWm-h~O]0[A$IJI$RI$I%)`}s ?*X \ +ʝ珚 +#Ogs * +#Ogs *w "i$zI$I%)$IJB Yǀ# *I) ? r_:?o+$N ph ~ mܯ$?:?o% ? rJh mܗN ph I); ,hi x°I)I$JRI$ozY ~k%GT 1^eS?z|ꤒI1rI$I%)$IH\;c\?A?% V=Uc+c[g;h5,[n8<̓?in;q]Ck`ǒѴ)I$$I)I$JRI$I$$I)I$Jr A X2+4zNԿhu?焔,Qz+ ~nE{1* "N$yP]d:6; _U/t7 ύ %#vON @R ]Ӱ5ZH<SZΟnCrlȄg~~JkUdx)4z-g$ ڭq rdUSQ3vc>̱SpomlX?VIM[vik y? #-Դ6"+)$z~2N[ihw6wD*-}RYlp*I)OM2Z"?8ygL ̡ϧXi$솆 ޟiJΙmC]M_Ͱ> I)MjZ DEs=?ّm-uǞDpǧᜯ[Րko|rge$էac M-aa jf4ET5]i$ 8w ƾĤv⺆e[I%5.7]Vײ+it+]Rd!ZI%5vd)ײ6yCጣ)h<߈VRIMj~7?"Zl Ԧ4ZI%5+Qf5t5}ow|USRΙf;1C]M_Au-{iX?=L$I$$I)I$JRI$> V ]ogNlS u 'J9 k u 'J9 ;gҏz4IFI$JRI$I$$I)I$JRI$I$$I)I$JRI$I$/, ~^o>?$|o?}c s?T 1^d|& ($L\I%)$IJI$R,OzlwX; A8 zlo॔ۋsmn/o@2p U8)ul5ܒ $JRI$I$$I)I$JRI$I$$I)K' y^嬲q G INphf=ύ[5P$NMd G Upl~+C'wˈWRIM ne̤ Ԃl:?Suzt 95SΩ߄} 7?ԉIS n;7n&IM[ޝmءt? %*g< ԕ_ ?, IMI%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJX \ +ʷ? c)t J %Y ʵ J %Y ʝ3GGȽI$^I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$R /S^Y k?7 Odh^ ?L/]2Y>s}TI&.RI$I$$I)SxX[1qgaCv=g,v^{籎s[@p:-,$BJNI$$I)I$JRI$I$$I)I$JRI$r0zzVUVZfA Y$ -X? -DS `_ܵIN^߬ K rI%9{~~?/Ko Q$[O j}E=ûW1&>)vMmap%%YI%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$R? Bx|<. R> V?|. R> V?~ Q/FI(ש2\["GJW:=?(seLs۩-O ۶ vJuY?_s n KkOi)Id ~ qoM/?9 m ɤY% 5'?4D ݷ &dO ۶ vJuY?_s n KkOi)Id ~ qoM/?9 m ɤY% 5'?4D ݷ &t/Gŧ,\`YC氹·8Y:IJI$R /S^Y k?7 Odh^ ?L/]2Y>s}TI&.RI$I$$I)Im q*=:ͳV>$SNFS1^,,_/X m Yxv'q$ӧcݔF =Zqs cdEbhuno kWRIMz-0XOwZDձ],v| R%^I%4_ձkfco.%,MWX,,K6 $|SK'ccYUv mnpƥDu,jg|^+$z;NzdݳO%GSȾzŁIqunktqUĒSK V,/[n5][[2,H$?~سҝ| R%+z-Xq?N6$=O1X,+ո7O67T}1`/[ԒSFv5, aռ;$:)9YM*I)gVů =+L4 ]h길eijmoqOJiu04OoRǧ)zF+qn.ĒSO?>z; XdRMn AWIM,~mչ~SSqo, VH$-خv`zM;Hߺ-xpҰ@6ī$W X[v[ K#cUV mnpāJiԱncu\BMX8`Y귒X?$tu&U B VM-#F@Aݷ92 ٸ 5V I㕉`q≠@fD[/f74$cK<1ȂI9S9Ԛs6I{F c:c+0r L9nvIK[,k ]54Z48k Nk=A TrQwgȂ 9V.ŶܲC.q))}E#unc,iu/?'O ?$|o?}c s?T 1^d|& ($L\I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$B}`}s ?*v?>kg'O K Ԭ?U_ K Ԭ?Uߣ?~|ѤJ5n I5< ?V?Nѩseu1on4>RIN7 m[ Kut? -S : wV ]; e$ήտWC NjI%8u5Xm3.[ woAlo ӻڷ m[ [)$ut? % : wV I) ];7`A& }$OAkC[{ ) ut? -SѲO/㵯-senI%)$IJ^Y k?7Myg |~I?5zߪ/]2~ K ctdL>QRI$I$JRI$I$$I)I$JRI$I$$I)I$JRI$I$$I)I$JRI$I$$I)I$JRI$= ھѻg]BIJI$RI$I%)$c;%" yCrmM0]/yh))I$$I)I$JRI$I$$I)I$JRI$I$$I)I$JRI$I$$I)I$JRI$I$$I)I$JRI$I$,g[oS[?:x ]d}I Z ]d}I N x#^$QRI$K6 = Q~uUc$5ak8 $$ YX[mXAIJJLI$$ ӍK⺫h IIQcccs PU|^nE8f#;Ѻ5I$JRI$I$$I)K?g ߗ, ~O?_4~[O_X \?}c ,9~I>I$)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJT=]3+V ^MֳFC}+KC]ؖRSa;`a: F8Oc[]oYyR}_$~ս?8+n/mZ+c Yը=;?ظ@H 1nkfY UdL\6N )W Ӻ~N3/v5lk9~O}j_NB֫}`}&H~su&0}f9]KVv;'jJr3YMېl8;h $OhU7{ ӓmXdUu-{ slkVoջN 3zWGwUcḩ*1}io{9JK{;Qe9Uu!c];*=KWwYRq ̗/|GL[ԢX?X?\w QgW\6F o1Jew]vQ6c1æǨǧv.n5Vkܬw1_\~ yYC TUŔ[(9=+Q㲬Ky٫OIH: דԭľo:X>[ GtWz}*M.k$ifdt ;dCNF>s[qv@~[1Al Fٔ\ Ml %%7I$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$RI$I%)$IJI$R? Bx|<. R> V?|. R> V?~ Q/FI(ש$IJ\C?;7j?j-LmJ" ?;;Ռ3.6 $G )GLwOmwPI; n%W_2su',mL.دs+6gV֓\bIX#tn131}vRo~&g?e Y 9iUS[ORq2=xn.;G$BαroJ)ʶ ommjNuX4Q;: OfoHuV誜{huM,khe5,cA { 8IMNܾ}e7(k H.$ t߭ʥGWU}#l~lRRI$I%)$IJ^Y k?7Myg |~I?5zߪ/]2Կbo>t2p>y N.W Rυ?S 7~ V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԤiOy K~q V_cԬgUgυ?c;{T53sw8m>BwJtݞ K Ԭ?Ug ٵ=7kW 6btUf7qwN RXM;=K> iOן 4oSY}Rυ?S /oUY}Rυ?S /oUY}Rυ?S /oUY}Rυ?S /oUY}Rυ?S /oUY}Rυ?S /oUY}Rυ?S /oUY}Rυ?S /oUY}Rυ?S /oUY}Rυ?S /oUY}Rυ?S /oUY}RouS rޓϵ}CSLu2D? endstream endobj 12 0 obj <> endobj 13 0 obj <> endobj 14 0 obj <> endobj 15 0 obj <> endobj 16 0 obj <> endobj 17 0 obj <> endobj 18 0 obj <> endobj 19 0 obj <> endobj 20 0 obj <> endobj 21 0 obj <> endobj 22 0 obj <> endobj 23 0 obj <> endobj 24 0 obj <> endobj 25 0 obj <> endobj 26 0 obj <> endobj 27 0 obj <> endobj 28 0 obj <> endobj 29 0 obj <> endobj 30 0 obj <> endobj 31 0 obj <> endobj 32 0 obj <>stream application/pdf Runtime adaptability to domain model changes with efficient constraint checking Alberto-Manuel Fernandez-Alvarez, Daniel Fernandez-Lanvin, Manuel Quintela-Pumares Journal of Ambient Intelligence and Smart Environments, 2016, 8, 6, 723?724 2016-11-08T11:38:57+02:00 LaTeX with hyperref package 2016-11-08T11:38:57+02:00 Acrobat Distiller 9.5.5 (Windows) Context-adaptation, model slicing, constraint verification uuid:44ea218e-9ae7-4b9c-8e1b-3fe86152e252 uuid:056afa83-291e-4989-a246-b62dfc8c4719 endstream endobj 33 0 obj <> endobj xref 0 34 0000000000 65535 f 0000044137 00000 n 0000044290 00000 n 0000044412 00000 n 0000044534 00000 n 0000044655 00000 n 0000044824 00000 n 0000048701 00000 n 0000048759 00000 n 0000049072 00000 n 0000049270 00000 n 0000049555 00000 n 0000100667 00000 n 0000100826 00000 n 0000100880 00000 n 0000100965 00000 n 0000101049 00000 n 0000101083 00000 n 0000101361 00000 n 0000101408 00000 n 0000101455 00000 n 0000101503 00000 n 0000101550 00000 n 0000101597 00000 n 0000101645 00000 n 0000101692 00000 n 0000101739 00000 n 0000101786 00000 n 0000101832 00000 n 0000101879 00000 n 0000101926 00000 n 0000101973 00000 n 0000102032 00000 n 0000106159 00000 n trailer <]>> startxref 116 %%EOF