|
1 |
YU Fan hua,FU Miao miao,WANG Sheng feng (The Institute of Information & Technology Changchun Teachers College,Changchun 130032,China);How to Reallize Fast and Dynamic Bind in Use of Method Name in Orient Language[J];Journal of Changchun Teachers College;2002-05 |
2 |
LIU Zhi-Feng JU Shi-Guang WANG Chang-Da ZHOU Cong-Hua (School of Computer Science and Telecommunication Engineering,Jiangsu University,Jiangsu Zhenjiang 212013);On the Principle of Information Transfer in Covert Channel[J];Computer Science;2007-10 |
3 |
Feng Yulin,Li Jing and Huang TaoInstitute of Software,Academia Sinica,Beijing 100080;OBJECT SEMANTICS THEORY AND CONSTRAINTS REASONING[J];Chinese Journal of Computers;1993-11 |
4 |
Feng Yulin; Huang Tao and Wu Xiaopeng(Laboratory of Computer Science, Instute of Sofware, The Vhinese Academy of Sciences:Beijing 100080);RESEARCH ON COMPONENT SOFTWARE ENGINEERING IN OBJECT ORIENTATION[J];CHINESE JOURNAL OF COMPUTERS;1996-03 |
5 |
LIU Zhi-feng,JU Shi-guang,LI Pei(School of Computer Science & Telecommunication Engineering,Jiangsu University,Zhenjiang Jiangsu 212013,China);Analysis of covert channels in disk arm based on operational semantics[J];Application Research of Computers;2007-11 |
6 |
Zhao Ke;Ye Shanghui (Xi'an University of Eleetroronic Seience and Technology, Xi'an 710071);A Resource Model for Object-Oriented Design Knowledge Representation[J];MECHANICAL SCIENCE AND TECHNOLOGY;1995-04 |
7 |
HUANG Tao; QIAN Jun; NI Bin (Laboratory of Computer Science Institute of Software The Chinese Academy of Sciences Beijing 100080) (Object Technology Center Institute of Software The Chinese Academp of Sciences Beijing 100080);Trace Calculus[J];JOURNAL OF SOFTWARE;1999-08 |
8 |
DAI Mei1, SUN Guo-qiang1, LIU Zhi-feng2 (1. School of Computer and Electical Engineering, University of Shanghai for Science and Technology, Shanghai 200093, China; 2.School of Computer Science And Telecommunication Engineering, Jiangsu University, Zhenjiang 212013, China);Analysis of covert timing channels based on operational semantics[J];Computer Engineering and Design;2009-07 |
9 |
HU Jin zhu 1 SHU Zhong mei 2 1 (Department of Computer Science,Central China Normal University,Wuhan 430079, China) 2 (Department of Computer Science, Zhongshan University, Guangzhou 510275, China);A Tentaitive Approach of Picto-Object Semantic's Model Based on Algebraic -Temporal Logic[J];Mini-micro Systems;2002-07 |
|