A unified approximate reasoning theory suitable for both propositional calculus system \(\mathcal{L}^* \) and predicate calculus system \(\mathcal{K}^* \) Wang GuojunChin K. S.Dang C. Y. OriginalPaper Pages: 1 - 14
A novel model on dynamic resource allocation in optical networks Tang YongRao MinSun Xiaohan OriginalPaper Pages: 15 - 27
New theoretical bounds on the aperiodic correlation functions of binary sequences Peng DaiyuanFan Pingzhi OriginalPaper Pages: 28 - 45
A new formal model for privilege control with supporting POSIX capability mechanism Ji QingguangQing SihanHe Yeping OriginalPaper Pages: 46 - 66
Modeling and analyzing of the interaction between worms and antiworms during network worm propagation Yang FengDuan HaixinLi Xing OriginalPaper Pages: 91 - 106
Lane of parallel through carry in ternary optical adder Jin YiHe HuacanAi Lirong OriginalPaper Pages: 107 - 116
Security extension for the Canetti-Krawczyk model in identity-based systems Li XinghuaMa JianfengSangJae Moon OriginalPaper Pages: 117 - 124