A multi-paradigm decision modeling framework for combat system effectiveness measurement based on domain-specific modeling

Xiao-bo Li, Yong-lin Lei, Hans Vangheluwe, Wei-ping Wang, Qun Li

DOI: 10.1631/jzus.C1200374 Downloaded: 3614 Clicked: 8750 Cited: 3 Commented: 0(p.311-331) <Full Text>

Validation of static properties in unified modeling language models for cyber physical systems

Gabriela Magureanu, Madalin Gavrilescu, Dan Pescaru

DOI: 10.1631/jzus.C1200263 Downloaded: 3719 Clicked: 9230 Cited: 2 Commented: 0(p.332-346) <Full Text>

Efficient and secure three-party authenticated key exchange protocol for mobile environments

Chih-ho Chou, Kuo-yu Tsai, Tzong-chen Wu, Kuo-hui Yeh

DOI: 10.1631/jzus.C1200273 Downloaded: 3291 Clicked: 6936 Cited: 1 Commented: 0(p.347-355) <Full Text>

EDA: an enhanced dual-active algorithm for location privacy preservation in mobile P2P networks

Yan-zhe Che, Kevin Chiew, Xiao-yan Hong, Qiang Yang, Qin-ming He

DOI: 10.1631/jzus.C1200267 Downloaded: 3309 Clicked: 7743 Cited: 0 Commented: 0(p.356-373) <Full Text>

Statistically uniform intra-block refresh algorithm for very low delay video communication

Rui Song, Yang-li Wang, Ye Han, Yun-song Li

DOI: 10.1631/jzus.C1200333 Downloaded: 3433 Clicked: 6868 Cited: 2 Commented: 0(p.374-382) <Full Text>

Design and derivation of the dual transponder carrier ranging system

Ming-chen Zhao, Chun-hui Wang, Zhong-he Jin

DOI: 10.1631/jzus.C1200266 Downloaded: 3660 Clicked: 8585 Cited: 1 Commented: 0(p.383-394) <Full Text>