Contents

Reachability Checking of Finite Precision Timed Automata Yan RJ,Li GY,Xu YB,Liu CM and Tang ZS 2006,17(1):1-10 [Abstract(4989)]  [View PDF(4746)708.55 K]

Petri Net Refinement and Its Application in System Design XIA Chuan-Liang,JIAO Li and LU Wei-Ming 2006,17(1):11-19 [Abstract(4300)]  [View PDF(4637)724.64 K]

Fuzzy ER Modeling with Description Logics JIANG Yun-Cheng,TANG Yong and WANG Ju 2006,17(1):20-30 [Abstract(5282)]  [View PDF(5424)817.31 K]

A Task-Type Aware Transaction Scheduling Algorithm in J2EE DING Xiao-Ning,ZHANG Xin,JIN Bei-Hong and HUANG Tao 2006,17(1):31-38 [Abstract(4142)]  [View PDF(4554)518.91 K]

Feature-Based Component Model and Normalized Design Process WANG Zhong-Jie,XU Xiao-Fei and ZHAN De-Chen 2006,17(1):39-47 [Abstract(4230)]  [View PDF(4936)593.07 K]

Scenario-Based Consistency Verification of Component-Based Real-Time System Designs HU Jun,YU Xiao-Feng,ZHANG Yan,LI Xuan-Dong and ZHENG Guo-Liang 2006,17(1):48-58 [Abstract(4596)]  [View PDF(4771)729.39 K]

Directed Hypergraph Based and Resource Constrained Enterprise Process Structure Optimization SUN Xue-Dong,XU Xiao-Fei and WANG Gang 2006,17(1):59-68 [Abstract(4321)]  [View PDF(5035)419.65 K]

A Domain Model of Pen-Based User Interface Software and Its Usage QIN Yan-Yan,TIAN Feng,WANG Xiao-Chun and DAI Guo-Zhong 2006,17(1):69-78 [Abstract(4186)]  [View PDF(5058)570.35 K]

A Fast Multicast Handoff Based Hierarchical Mobile Multicast Architecture WU Qian,WU Jian-Ping,XU Ming-Wei and CUI Yong 2006,17(1):86-95 [Abstract(4303)]  [View PDF(4715)651.91 K]

Construction of Peer-to-Peer Multiple-Grain Trust Model ZHANG Qian,ZHANG Xia,WEN Xue-Zhi,LIU Ji-Ren and Ting Shan 2006,17(1):96-107 [Abstract(4616)]  [View PDF(5776)807.79 K]

An End-to-End Available Bandwidth Estimation Methodology LIU Min,LI Zhong-Cheng,GUO Xiao-Bing and DENG Hui 2006,17(1):108-116 [Abstract(4433)]  [View PDF(5998)618.13 K]

Distributed Monitoring Model with Bounded Delay for Evolving Networks CAI Zhi-Ping,YIN Jian-Ping,LIU Fang and LIU Xiang-Hui 2006,17(1):117-123 [Abstract(4925)]  [View PDF(4546)465.85 K]

Research on Automated Trust Negotiation LI Jian-Xin,HUAI Jin-Peng and LI Xian-Xian 2006,17(1):124-133 [Abstract(4827)]  [View PDF(5599)472.98 K]

Underlying Techniques for Large-Scale Distributed Computing Oriented Publish/Subscribe System MA Jian-Gang,HUANG Tao,WANG Jin-Ling,XU Gang and YE Dan 2006,17(1):134-147 [Abstract(5115)]  [View PDF(10639)664.65 K]

Analysis of Security Protocols Based on Authentication Test YANG Ming and LUO Jun-Zhou 2006,17(1):148-156 [Abstract(4408)]  [View PDF(4902)560.99 K]

Ownership Proofs of Digital Works Based on Secure Multiparty Computation ZHU Yan,YANG Yong-Tian,SUN Zhong-Wei and FENG Deng-Guo 2006,17(1):157-166 [Abstract(4551)]  [View PDF(4278)590.63 K]

Precomputation for Multi-Constrained QoS Routing in GMPLS Networks HUA Yu,WU Chan-Le and WANG Yong 2006,17(1):167-174 [Abstract(3937)]  [View PDF(4134)593.27 K]