Tentative Program(July/26 Version) Aug/28(Monday) AM 9:00 Opening -------------------- AM 9:30 Key Note 1 New Software Paradigm in the Internet Age Conceptual Model for the Evolution of Open Source Software as a Free City on the Internet Kouichi Kishida (SRA,Japan) -------------------- AM 11:00 TS1a : OOSW A progressive view of use case modeling Liwu Li (University of Windsor, Canada) Translating OMT state diagrams with concurrency into SDL diagrams Simona Vasilache, Jiro Tanaka(University of Tsukuba,Japan) UML Refinement for Object-Relational Database Pujianto Yugopuspito, Keijiro Araki (Kyushu University, Japan) TS1b : Component Adoption Component Management Model for Developing a Domain Framework Sang-Geun Kim(Sungkyul University,Korea), Je-Min Bae(Kwandong University, Korea) A Methodology for CORBA Component Development Based on Software Architecture Chang-Joo Moon , Doo-Kwon Baik(Korea University,Korea) An Integration Method Based On Business Component For ERP Zheng Mingchun, Yang Lijie, Feng Mei, Liu Hong (Shandong Normal University,China) TS1c : Testing & Process Debugging Process Models based on changes in Impressions of Software Modules Shinji Uchida, Akito Monden, Hajimu Iida, Ken-ichi Matsumoto, Katsuro Inoue and Hideo Kudo (NAIST etc.,Japan) Block-based Test Data Adequacy Measurement Criteria and Test Complexity Metrics Jianjun Yang,Weidong Chen,Chengqing Ye (Zhejiang University, China) Software Process Management and Automation to Establish ISO9001 Quality System Shen Beijun, Chen Cheng, Ju Dehua,Gu Chunhua,Lu Jianliang (Application Solutions & Technologies Inc. Shanghai Corp.) -------------------- PM 1:30 TS2a : DB Schema Integration in Multidatabase Systems Using the Extension of SQL3 Mi-Yeon Kim, Ju-Won Song (Multimedia Technology Research Laboratory, Korea), Jung-Uk Lee, Doo-Kwon Baik(Korea University, Korea) Design and Implementation of Component Registry Using XML Chee-Yang Song, Sung-Bin Yim, Chang-Joo Moon, Doo-Kwon Baik(Korea University, Korea) Evaluating Membership Queries Efficiently Using Bitmap Indices Hongxing Tan, Longxiang Zhou(Academia Sinica, China) TS2b : HCI & XML (I) EDS: a Simulation and Animation Platform based on Terrain Data Tomohiro Oda(SRA, Japan) A Problem-Independent Tool for Visualizing Requirement-driven Design Meetings Kei Kurakawa (NAIST), Kumiyo Nakakoji (NAIST, SRA, JST), Takashi Kiriyama(University of Tokyo, Japan) An Interational Model for Experimental Data Analysis (Using Spatial Positioning) Yasuhiro Yamamoto (NAIST), Kumiyo Nakakoji(NAIST,SRA,JST), and Atsushi Aoki(SRA) TS2c : AI The Algorithm of Move Death Piece In Computer Go Wang JingHui, Li Xiang (Guizhou University, China) Minimum and Maximum Classification Rules For KDD and Their Algorithms Shu Cheng, Chen Xiaorong, Wang Hanhu (Guizhou University, China) The Pseudo-Petri-Net Representation of Nonmonotonic Reasoning Systems Xu Daoyun, Ding Decheng(Nanjing University), Zhang Mingyi(Guizhou Academy of Science) -------------------- PM 3:00 TS3a : MM & CG (I) Shape creation using Teddy implemented in Jun Atsushi Aoki(SRA, Japan) Froth image processing Windows program and different languages interfaces Weixing Wang and Luya Wang(Hunan Normal University,China) Constraint-based Spatial Data Query Chen Lianggang, Wang Haibing, Shi Baile (Fudan University, China) TS3b: HCI & XML (II) Using Interactive Cone Trees and Filter to Understand Large Class Hierarchies Jauhar Ali, Yoshiyuki Nishinaka(SRA, Japan) A Method of Usability Testing by Measuring Brain Waves Jian Hu, Masahiro Nakanishi, Hirokazu Tagaito, Kazuyuki Shima, Ken-ichi Matsumoto, Katsuro Inoue, and Koji Torii(NAIST, Japan) Design and Implementation of an XML Generating Interface for ISO 11179-based Data Registries Hong-seok Na, Yoo-seung Yang, Hea-sook Park, Doo-kwon Baik(Korea University,Korea) TS3c : Network & Distributed Sys. (I) Conformance Testing for Routing Protocols Based on Petri Net Models Wang Lirui, Ye Xinming(Inner Mongolia University,China) Load Balancing among Internet Server Clusters By Forwarding-based Request Dispatching Ni Shirong,Wang Lian,Zheng Weimin, Shen Meiming (Tsinghua Univ.) Active network Architecture Based on Extended Services Router Xu Ke, Wu Jian-ping, Jiang Yong, Xu Ming-wei(Tsinghua Univ.) -------------------- PM 4:30 TS4a : MM & CG (II) A Fast Motion Estimation Algorithm Based on The Spatial Correlation and The Time Continuity of The Motion Object Zhou Haishan, Chen Xiaowei, Zhang Jian (Guizhou University, China) A MAS-based CSCW System Xiaosu Zhan, Zongkai Lin, Guang Xu (AirForce Command College) TS4b : PL & Formal Method Implementing Prolog with chronological garbage collection Xining Li(Lakehead University, Canada) Case Studies of Formal Approaches to Domain Modelling and Specification Keijiro Araki, Han-Myung Chang, Toshiyuki Tanaka (Kyushu Univ., Japan) ------------------------------------------------------------------------ Aug/29(Tuesday) AM 8:30 TS5a : Network & Distributed Sys. (II) Security design of mobile agent system Wang jihong,Hu jianping,Hu kai (Beijing University of Aeronautics and Astronautics,China) On Nested Real-Time Transactions Yunsheng Liu, Liping Yu (Huazhong University of Science and Technology) A Mathematical Model and Algorithm of Quality of Services Routing Zou Yang, Zhang Mingyi, Ning Zhou(Guizhou University) Integration of Collective I/O and Data Sieving Li Ji, Lu Sanglu, Chen Guihai, Xie Li(Nanjing University) TS5b : WIS Virtual index system for information retrieval in WWW environment Chang-Hwa Kim(Kangnung National University, Korea) A Report on Empirical Studies of Web Search Processes Akio Takashima, Yasuhiro Yamamoto(NAIST), Kumiyo Nakakoji(NAIST,SRA,JST) The Design of the B/S architecture of Java-Based in Control Configuration System Gao Jianyi,Song Lizhe,Yu zhengtao,Che Wengang (Kunming University of science and technology,China) Intelligent Residence's Estate Management and Information Service System Liu Feng Ming, Tan Ke Jian(Chongqing Jian Zhu University) TS5c : Algorithm Genetic Algorithm of solving semi-infinite nonlinear programming Zhang Jianhong,Li Xiang(Guizhou University,China) An Approach for Developing Parallel Algorithmic Programs Wang Mingwen,Sun Yongqing,Xue Jinyun (Shanghai Jiaotong University) Liveness and Boundedness of Weighted Extended Strong Asymmetric Choice Nets II Jiao Li, Lu Weiming(Academia Sinica) A New Algorithm for Computing Network Reliability Based on Cutsets Chen-Mingming, Zhao-Lianchang, Wang-Deqiang (Dalian Maritime University,China) -------------------- AM 10:30 Workshop WS 1 : Method The Research on Function Object Reuse on the Multimedia Heterogeneous Platforms Li zhi,Zhu yi (Jiangsu University of Science &Technology,China) Research on Efficient Algorithms of Bilevel Programming Problems Chen Ning, Zhou Longxiang, Chen An, Liu Lu (Chinese Academy of Science,China) An Object-Oriented Software Design Method for Real -Time Multitask Systems Li Yun, Xiong Guangze (University of Electronic Science and Technology,China) Formal Development of Graph and Tree Algorithmic Programs Using PAR Method Xue Jinyun (Computer Software Institute,Jiangxi Normal University) The Application of Hierarchy Poll Protocol in SPS Communication Mingzhong Xiao, Quanping Liao, Zhenquan Ding(Guizhou Univ.) WS 2 : WIS ISM Conversion Algorithm for the Definition of Distributed Objects IDL Soo-Hyun Park, Sung-Gi Min, Tai-Suk Kim (Dong Eui University, Korea), Doo-kwon Baik(Korea University, Korea) A Data Registry-based Environment for Sharing CALS/EC Metadata Hea-Sook Park, Doo-Kwon Baik(Korea University,Korea) Ssomar: Schedule Management System utilizing active concept in Web Young-Shil Kim(Daelim Technical College), Doo-Kwon Baik (Korea University,Korea) Research on Data Mining Framework Based on Rough Sets LI Long-Shu, CHENG Hui-Xia, ZHU Yu, ZHANG Xia (Anhui University,China) Developing Technology Research of Web Database Dynamic Publishing Platform Fu Xiu-fen, Li Zhi-jun, Luo Ning,Wang Jing (Guangdong University of Technology,China) The Design of library web retrieval system & Database Security Duan FU, Li Chunzhi, Nie Liqin, Zhang Xingzhong, Zhu Qiming(Taiyuan University of Technology,China) WS 3 : HCI & CSCW & Free Software The Role Network Team in Software Engineering Xuefen Fag(SRA, Japan) Applications of Network and Telecommunication Techniques to the Automated Measurement and Monitoring System of the Hydrology in the XiaoLangDi Pivotal Hydraulic Projects Zhao Xinsheng, Ji Junfeng, Wang Baohua, Zhao Anlin (Hydrology Bureau of Yellow River Conservancy Commissio,China) The Study of Analogy Reasoning and Consistency Maintenance in Common Sense Knowledge Base Based on Agent and Ontology Hu Sikang, Zheng Hong, Chen Xiaorong, Wang Hanhu (Guizhou Univ.) Commonsense about Emotion Anaphora Analysis Yang Fan(Academia Sinic, China) The Open Decision-making Support System For Estate Exploitation Weitao Wang, Kuangsheng Ma, Jiangao Zhang, Xiaohong Zhu (Chongqing Architecture University) The Real-Time Characteristics of the Linux Kernel Xiafengli, Yima(Shanghai Jiaotong University,China) -------------------- PM 1:30 Working Group(Discussion) WG1 : Software Development Process - CMM, ISO900x, SPA Chair:Kishida(SRA) Talk:Matsubara(JP) WG 2 : Web based Information System - XML,CORBA,DCOM, Web DB Chair:Soo-Hyun Park (Dong Eui Univ., Korea) Talk:Chang-Hwa Kim (Kangnung Univ., Korea), Kumagai(PFU, JP) WG 3 : HCI & CSCW - User/System Interface Visualization Chair: Talk:Nakakoji(SRA/NAIST,JP) WG 4 : Free Software & Open Source - GNU/Linux, Cathedral & Bazaar Chair:Hayashi(SRA,JP) Talk:Hayashi(SRA,JP) ------------------------------------------------------------------------ Aug/30(Wednesday) All day Technical visit and open-air discussion ------------------------------------------------------------------------ Aug/31(Thursday) AM 8:30 Key Note 2 Knowledge Science and its Frontiers Lu Ruqian(Institute of Mathematics,Academic Sinica,China) -------------------- AM 10:00 Working Group Report -------------------- AM 11:30 Closing