a non-blocking locking method and performance evaluation on network of workstations
YU Ge; WANG Guoren and ZHENG HuaiyuanJIN Taiyong; Kunihiko Kaneko and Akifund Makinouchi

..............page:25-38

verifying time petri nets by linear programming
LI Xuandong E-mail: lxd@nju.edu.cn

..............page:39-46

an improved error handling method in snmpv2 protocol operations
XU Guanghui; XIE Xiren and XU Yongsen

..............page:92-96

fuzzy association degree with delayed time in temporal data model
LIU Weiyi; GUO Lingzhi and SONG Ning (Department of Computer Science; Yunnan University; Kunming 650091; P.R. China; Science Collage; Yunnan University; Kunming 650091; P.R. China; Department of Metallurgy; Kunming University of Science and Technology Kun

..............page:86-91

Regular Papers Semantics of Constructions (I) ──The Traditional Approach
FU Yuxi E-mail: fu-yx@cs.sjtu.edu.cn

..............page:13-24

investigation on aq11, id3 and the principle of discernibility matrix
WANG Jue; CUI Jia and ZHAO Kai E-mail: wangj @sunserver. ia. ac. cn

..............page:1-12

special announcement

..............page:96

towards a denotational semantics of timed rsl using duration calculus
LI Li

..............page:64-76

a new mesh simplification algorithm based on triangle collapses
PAN Zhigeng; ZHOU Kun and SHI Jiaoying E-mail: {pzg; kzhou; jyshi } @cad. zj u. edu. cn

..............page:57-63

guidelines for creating a rule-based knowledge learning system and their application to a chinese business card layout analysis
PAN Wumo and WANG Qingren E-mail: pan@ imi. nankai. edu. cn

..............page:47-56

extending the cooper minimal pair theorem
ZHANG Zaiyue E-mail: yzzzy@pub. yi .jsinfo. ne

..............page:77-85