Travelled to:1 × Portugal
1 × USA
Collaborated with:W.Jiao H.Mei L.Zhou L.Zhuang J.Shen G.Huang Y.Sun
Talks about:toward (2) compon (2) construct (1) support (1) decentr (1) system (1) mechan (1) formal (1) updat (1) unifi (1)
Person: Xi Sun
DBLP: Sun:Xi
Contributed to:
2007
2005Wrote 2 papers:
- SEKE-2007-SunZZJM #adaptation #component #distributed #self #towards
- Towards Constructing High-available Decentralized Systems via Self-adaptive Components (XS, LZ, LZ, WJ, HM), pp. 296–301.
- ESEC-FSE-2005-ShenSHJSM #component #formal method #towards
- Towards a unified formal model for supporting mechanisms of dynamic component update (JS, XS, GH, WJ, YS, HM), pp. 80–89.