A multi-paradigm decision modeling framework for combat system effectiveness measurement based on domain-specific modeling Xiao-bo LiYong-lin LeiQun Li OriginalPaper 07 May 2013 Pages: 311 - 331
Validation of static properties in unified modeling language models for cyber physical systems Gabriela MagureanuMadalin GavrilescuDan Pescaru OriginalPaper 07 May 2013 Pages: 332 - 346
Efficient and secure three-party authenticated key exchange protocol for mobile environments Chih-ho ChouKuo-yu TsaiKuo-hui Yeh OriginalPaper 07 May 2013 Pages: 347 - 355
EDA: an enhanced dual-active algorithm for location privacy preservation inmobile P2P networks Yan-zhe CheKevin ChiewQin-ming He OriginalPaper 07 May 2013 Pages: 356 - 373
Statistically uniform intra-block refresh algorithm for very low delay video communication Rui SongYang-li WangYun-song Li OriginalPaper 07 May 2013 Pages: 374 - 382
Design and derivation of the dual transponder carrier ranging system Ming-chen ZhaoChun-hui WangZhong-he Jin OriginalPaper 07 May 2013 Pages: 383 - 394