An admission control scheme for end-to-end statistical QoS provision in IP networks Bin PangHuaiRong ShaoWen Gao Regular Papers Pages: 267 - 277
Stability analysis of buffer priority scheduling policies using Petri nets Chuang LinMingWei Xu Regular Papers Pages: 278 - 286
Outline of initial design of the Structured Hypertext Transfer Protocol Bin Swen Regular Papers Pages: 287 - 298
I DDT: Fundamentals and test generation Jishun KuangZhiQiang YouYingHua Min Regular Papers Pages: 299 - 307
A novel RTL behavioral description based ATPG method ZhiGang YinYingHua MinHuaWei Li Regular Papers Pages: 308 - 317
FaSa: A fast and stable quadratic placement algorithm WenTing HouXianLong HongYici Cai OriginalPaper Pages: 318 - 324
Power minimization of FPRM functions based on polarity conversion YinShui XiaXunWei WuA. E. A. Almaini Regular Papers Pages: 325 - 331
Inferring solids composed of linear and quadratic surfaces from incomplete three views Chao YuyanHe LifengItoh Hidenori Regular Papers Pages: 332 - 342
A context-aware infrastructure for supporting applications with pen-based interaction Yang LiZhiWei GuanYong Han Correspondence Pages: 343 - 353
Decomposing a kind of weakly invertible finite automata with delay 2 Gang Yao Correspondence Pages: 354 - 360
A new dynamical evolutionary algorithm based on statistical mechanics YuanXiang LiXiuFen ZouMichalewicz Zbigniew Correspondence Pages: 361 - 368
Dynamic retransmission control for reliable mobile multicast Yu LinHaiTao WuCheng ShiDuan Correspondence Pages: 369 - 377
Fast algorithms for revision of some special propositional knowledge bases Luan ShangMinGuoZhong Dai Notes Pages: 388 - 392
Characterization of an auto-compatible default theory DaoYun XuDeCheng DingMingYi Zhang Notes Pages: 393 - 398
Managing very large document collections using semantics GuoRen WangHongJun LuBin YuBao Notes Pages: 403 - 406
PHC: A fast partition and hierarchy-based clustering algorithm HaoFeng ZhouQingQing YuanBaiLe Shi Notes Pages: 407 - 411
