Loop peeling based on quasi-invariance/induction variables Litong SongRobert GlückYoshihiko Futamura Program Analysis and Transformation Pages: 362 - 367
Abstraction from constructors and functional constructors and their applications Kazuhiko KakehiRobert GlückYoshihiko Futamura Program Analysis and Transformation Pages: 368 - 374
Supercompiler Scp4: Use of quasi-distributive laws in program transformation Andrei P. Nemytykh Program Analysis and Transformation Pages: 375 - 382
Dynamic slicing of object-oriented programs Jian-jun Zhao Program Analysis and Transformation Pages: 391 - 397
Dependence analysis based on dynamic slicing for debugging Chen Zhen-qiangXu Bao-wen Program Analysis and Transformation Pages: 398 - 404
An object extraction model using association rules and dependence analysis Li Shen-zhiChen Zhen-qiangXu Bao-wen Program Analysis and Transformation Pages: 405 - 409
Data model transformation in CAD system for multi-view modeling Toyohiko HirotaMasaaki Hashimoto Database and Data Manipulation Pages: 410 - 415
Hierarchical classification of Chinese documents based onN-grams Zhou Shui-gengGuan Ji-hongHe Yan-xiang Database and Data Manipulation Pages: 416 - 422
Registering different DBMSs to Panorama with CORBA Sarem MudarLi Rui-xuanLu Zheng-ding Database and Data Manipulation Pages: 423 - 431
XIDM: A common Data Model based on XML Li BingLu Zheng-dingPeng De-chun Database and Data Manipulation Pages: 432 - 437
Structural indexing for 3D solid digital library Han Shui-huaLu Zheng-dingChen Chuan-bo Database and Data Manipulation Pages: 438 - 442
Database-based web page Liang Dan-xiLiu GangPeng Xue-hua Database and Data Manipulation Pages: 443 - 447
Routing protocols for transmitting large databases or multi-databases systems He HongMa Shao-han Database and Data Manipulation Pages: 448 - 450
Geo-Agents: Design and implement Ding LiQu LeiXu Zhuo-qun Geographic Information System Pages: 451 - 459
The relation of department components and activity in Spatial Information Infrastructure Yi Shan-zhenZhou Li-zhuLi Qi Geographic Information System Pages: 460 - 466
Scaling up the DBSCAN algorithm for clustering large spatial databases based on sampling technique Guan Ji-hongZhou Shui-gengHe Yan-xiang Geographic Information System Pages: 467 - 473
Building distributed web GIS: a mobile-agent based approach Guan Ji-hongZhou Shui-gengMeng Ling-kui Geographic Information System Pages: 474 - 481
The application of geographic information system on telecommunication cable management system He Hong-boWang Wen-junZeng Qiao-ming Geographic Information System Pages: 482 - 485
A multi-agent immunology model for security computer Liang Yi-wenLi HuanDong Hong-bin CSCW and Information Security Pages: 486 - 490
Development and evaluation of a distance learning system based on CSCW Yin HaoZhu Guang-xiHe Da-an CSCW and Information Security Pages: 491 - 494
Study on Agent-based methods for concurrency control in CSCW Li HuYao Shu-zhenLiu Chang-hui CSCW and Information Security Pages: 495 - 499
Generalized group signature scheme Li Zi-chenWu Xu-dongDai Yi-qi CSCW and Information Security Pages: 500 - 504
Computer system reliability allocation method and supporting tool Ben Ke-rongYan JiongWang Ji Software Process Management Pages: 505 - 510
A software quality evaluation system: JT-SQE Shi Xiao-yingYang Lan Software Process Management Pages: 511 - 515
Comparison between CMM2 & ISO9001 Pan Qiu-lingLiu Zong-tianWu Peng-cheng Software Process Management Pages: 516 - 523
Softev: UML-based PSEE environment Pan Qiu-lingLiu Zong-tianPan Biao Software Process Management Pages: 524 - 530
The optimal price policy of congener software product Hu Ren-sheng Software Process Management Pages: 531 - 534
Gradient Gene Algorithm: a fast optimization method to MST problem Zhang Jin-boXu Jing-wenLi Yuan-xiang Evolutionary Computation and Distributed Computation Pages: 535 - 540
Scheduling in a meta search engine by Genetic Algorithm Zhang Wei-fengXu Bao-wenHuang Hui Evolutionary Computation and Distributed Computation Pages: 541 - 546
Design of evolvable hardware for robotic navigation Yong LiuTetsuya HiguchiMasaya Iwata Evolutionary Computation and Distributed Computation Pages: 547 - 554
Edge crossing minimization algorithm for hierarchical graphs based on Genetic Algorithms Shen Wei-xiangHuang Jing-wei Evolutionary Computation and Distributed Computation Pages: 555 - 559
Asynchronous nested optimization algorithms and their parallel implementation Hans W. MoritschG. Ch. PflugM. Siomak Evolutionary Computation and Distributed Computation Pages: 560 - 567
Parallel computing of Ocean General Circulation Model Zhang Li-IunSong Jun-qiangLi Xiao-mei Evolutionary Computation and Distributed Computation Pages: 568 - 573
Parallel algorithm in Surface wave waveform inversion Cao Xiao-linSong Jun-qiang Evolutionary Computation and Distributed Computation Pages: 574 - 578
Assigning task by parallel genetic algorithm based on PVM Zheng Zhi-junDong Xiao-sheZheng Shou-qi Evolutionary Computation and Distributed Computation Pages: 579 - 584
Bending-rays imaging based on Genetic Algorithm Liu Huai-linLiu HongChen Shu-zhen Evolutionary Computation and Distributed Computation Pages: 585 - 588
An inversion evolutionary algorithm on how to convert FDP to TSP Xu Jing-wenZhang Jin-boLi Yuan-xiang Evolutionary Computation and Distributed Computation Pages: 589 - 592
An overview on wavelet software packages Fan Qi-binLi Hong Evolutionary Computation and Distributed Computation Pages: 593 - 600
Data mining and neural network techniques in case based system Ni Zhi-weiCai Qing-shengLi Long-shu Evolutionary Computation and Distributed Computation Pages: 601 - 605
An evolutionary algorithm to optimization of discrete problem based on pheromone Huang Zhang-canWu Fang-caiChen Si-duo Evolutionary Computation and Distributed Computation Pages: 606 - 610
ERP solution for large & medium state firms Philip N. Zhang Poster Session Presentation Pages: 612 - 618