1. Test-driven verification/validation of model transformations

   • László Lengyel
   • Hassan Charaf

   OriginalPaper 06 February 2015 Pages: 85 - 97

2. Kd-tree and quad-tree decompositions for declustering of 2D range queries over uncertain space

   • Ahmet Sayar
   • Süleyman Eken
   • Okan Öztürk

   OriginalPaper 06 February 2015 Pages: 98 - 108

3. Virtual network embedding based on real-time topological attributes

   • Jian Ding
   • Tao Huang
   • Yun-jie Liu

   OriginalPaper 06 February 2015 Pages: 109 - 118

4. Thermal-aware relocation of servers in green data centers

   • Muhammad Tayyab Chaudhry
   • T. C. Ling
   • Xin-zhu Lu

   OriginalPaper 06 February 2015 Pages: 119 - 134

5. Profiling and annotation combined method for multimedia application specific MPSoC performance estimation

   • Kai Huang
   • Xiao-xu Zhang
   • Xiao-lang Yan

   OriginalPaper 06 February 2015 Pages: 135 - 151

6. Design of an enhanced visual odometry by building and matching compressive panoramic landmarks online

   • Wei Lu
   • Zhi-yu Xiang
   • Ji-lin Liu

   OriginalPaper 06 February 2015 Pages: 152 - 165

7. Longitudinal and lateral slip control of autonomous wheeled mobile robot for trajectory tracking

   • Hamza Khan
   • Jamshed Iqbal
   • Teresa Zielinska

   OriginalPaper 06 February 2015 Pages: 166 - 172