The Community for Technology Leaders
2013 IEEE 37th Annual Computer Software and Applications Conference (2004)
Hong Kong
Sept. 28, 2004 to Sept. 30, 2004
ISSN: 0730-3157
ISBN: 0-7695-2209-2
TABLE OF CONTENTS
Introduction

Reviewers (PDF)

pp. xv
Fast Abstract I — Software Design and Analysis

Model Oriented Software Architecture (PDF)

Emanuel Grant , University of North Dakota
Hassan Reza , University of North Dakota
pp. 4-5

A Grid Service-Based Engineering Computation Architecture (PDF)

Hualiang Hu , Zhejiang University
Changqin Huang , Zhejiang University
Deren Chen , Zhejiang University
pp. 6-7

Addressing: The Root of all Programming Evils (PDF)

Conrad Mueller , University of the Witwatersrand
pp. 14-15

Quantitative Analysis of Symbolic Execution (PDF)

Jian Zhang , Chinese Academy of Sciences
pp. 184-185
Fast Abstract II — Software Quality Assurance

Towards Optimization of the Coverage Testing of Interactive Systems (PDF)

Fevzi Belli , University of Paderborn
Christof J. Budnik , University of Paderborn
pp. 18-19

Estimation of Software Defects Fix Effort Using Neural Networks (PDF)

David Rine , George Mason University
Hui Zeng , George Mason University
pp. 20-21

A Change Impact Dependency Measure for Predicting the Maintainability of Source Code (PDF)

Praveen Srikanth , University of Missouri-Rolla
Franck Xia , University of Missouri-Rolla
pp. 22-23

Optimizing the Planning and Executing of Software Independent Verification and Validation (IV&V) in Mature Organizations (PDF)

Edgardo Palza , ?cole de Technologie Sup?rieure
Kim Loan Do , ?cole de Technologie Sup?rieure
Christopher Fuhrman , ?cole de Technologie Sup?rieure
pp. 24-25

A View-Based Control Flow Metric (PDF)

Mario Dal Cin , University of Erlangen-Nuremberg
Stefan Gossens , University of Erlangen-Nuremberg
pp. 26-27

Using FMEA for Early Robustness Analysis of Web-Based Systems (PDF)

Jianyun Zhou , Norwegian University of Science and Technology
Tor St?lhane , Norwegian University of Science and Technology
pp. 28-29

eXtreme Programming Support Tool in Distributed Environment (PDF)

Sacko Matsuura , Shibaura Institute of Technology
Satoshi Atsuta , Shibaura Institute of Technology
pp. 32-33
Fast Abstract III — Security, Information Retrieval and Agent-Based Software

Towards an Authentication Middleware to Support Ubiquitous Web Access (Abstract)

Y. Li , University of Manchester
C. Goble , University of Manchester
A. Rector , University of Manchester
J. Chin , University of Manchester
N. Zhang , University of Manchester
pp. 36-38

An Efficient Distributed Intrusion Detection Scheme (PDF)

Thomas Holz , PACE Aerospace Engineering and Information Technology GmbH
pp. 39-40

N-Gram-Based Detection of New Malicious Code (PDF)

Ray Sweidan , Dalhousie University
Tony Abou-Assaleh , Dalhousie University
Nick Cercone , Dalhousie University
Vlado Kešelj , Dalhousie University
pp. 41-42

A Decision-Making Model for Intelligent Agent with Internal State (PDF)

Shan-Li Hu , Fuzhou University and Chinese Academy of Sciences
Hai-Yan Wu , Fuzhou University
pp. 43-44

Goal Autonomous Agent Architecture (PDF)

Chunyan Miao , Nanyang Technological University
Robert Gay , Nanyang Technological University
Zhiqi Shen , Nanyang Technological University
Yuan Miao , Nanyang Technological University
pp. 45-46

An Intelligent Component Retrieval System Using Conversational CBR (PDF)

Mingyang Gu , Norwegian University of Science and Technology
Xin Tong , Norwegian University of Science and Technology
pp. 47-48

Excalibur: A Personalized Meta Search Engine (PDF)

Leo Yuen , City University of Hong Kong
Ying Kit Lai , City University of Hong Kong
Matthew Chang , City University of Hong Kong
Chung Keung Poon , City University of Hong Kong
pp. 49-50
Fast Abstract IV — Software Applications

A New E-Shopping System Using High Performance Custom Computers (PDF)

Yuk Ying Chung , University of Sydney
Yong Sun , University of Sydney
PengHao Wang , University of Sydney
XiaoMing Chen , University of Sydney
pp. 54-55

Development of a Hybrid Automotive Wireless Harness (PDF)

Nilesh Patel , University of Michigan-Dearborn
Kiumi Akingbehin , University of Michigan-Dearborn
pp. 56-57

Lesions Learned from the Practice of Mobile Health Application Development (PDF)

Ping Yu , University of Wollongong
Hui Yu , Chongqing Institute of Technology
pp. 58-59

Compressing an Inverted File with LCS (PDF)

Yao-Chung Fan , Tung-Hai University
Fang-Yie Leu , Tung-Hai University
pp. 60-61

An Imprecise Computation Model in Reducing Power Consumption of Flash Memory for Portable Devices (PDF)

Wei-Fen Hsu , National Tsing Hua University
Li-Ping Tung , National Tsing Hua University
Jia-Ming Chen , National Tsing Hua University
Wei-Kuan Shih , National Tsing Hua University
pp. 62-63

Robustness Study of an Embedded Operating System for Industrial Applications (PDF)

J. Pardo , Polytechnic University of Valencia
J. J. Serrano , Polytechnic University of Valencia
J. C. Campelo , Polytechnic University of Valencia
pp. 64-65
Workshop on Geographic and Biological Data Management I

A New Approach to Representing Continuously Moving Regions (Abstract)

Yuchang Gong , University of Science and Technology of China
Peiquan Jin , University of Science and Technology of China
Lihua Yue , University of Science and Technology of China
pp. 70-73

Evaluating GML Support for Spatial Databases (PDF)

Chang-Tien Lu , Virginia Tech
Lakshmi N. Sripada , Virginia Tech
Weili Wu , University of Taxes at Dallas
pp. 74-77

A Spatial SQL Extension for Continuous Field Querying (Abstract)

Robert Laurini , INSA of Lyon
Luca Paolino , University of Salerno
Genoveffa Tortora , University of Salerno
Monica Sebillo , University of Salerno
Giuliana Vitiello , University of Salerno
pp. 78-81

Spatial Data Query Support in Peer-to-Peer Systems (Abstract)

Wei-Shinn Ku , University of Southern California
Roger Zimmermann , University of Southern California
Haojun Wang , University of Southern California
pp. 82-85

Protein Functional Motion Query and Visualization (Abstract)

Xiong Liu , University of Pittsburgh
Lee-Wei Yang , University of Pittsburgh
Ivet Bahar , University of Pittsburgh
Hassan A. Karimi , University of Pittsburgh
pp. 86-89
Workshop on Software Cybernetics I

Adaptive Random Testing with CG Constraint (Abstract)

K. P. Chan , University of Hong Kong
F. T. Chan , University of Hong Kong
S. M. Yiu , University of Hong Kong
T. Y. Chen , Swinburne University of Technology
pp. 96-99

Adaptive Control Software: Can We Guarantee Safety? (Abstract)

Bojan Cukic , West Virginia University
Yan Liu , West Virginia University
Sampath Yerramalla , West Virginia University
Srikanth Gururajan , West Virginia University
Edgar Fuller , West Virginia University
pp. 100-103
Workshop on Quality Assurance and Testing of Web-Based Applications I

Web Application Bypass Testing (Abstract)

Xiaochen Du , George Mason University
Ye Wu , George Mason University
Hong Huang , George Mason University
Jeff Offutt , George Mason University
pp. 106-109

Data Flow Analysis and Testing of Java Server Pages (Abstract)

Chien-Hung Liu , National Taipei University of Technology
pp. 114-119

WS-FIT: A Tool for Dependability Analysis of Web Services (Abstract)

Nik Looker , University of Durham
Jie Xu , University of Leeds
Malcolm Munro , University of Durham
pp. 120-123
Workshop on Geographic and Biological Data Management II

On the Complexity of Finding Emerging Patterns (Abstract)

Guozhu Dong , Wright State University
Jianping Li , Yunnan University and City University of Hong Kong
Hao Zhao , City University of Hong Kong
Lusheng Wang , City University of Hong Kong
pp. 126-129

Web Service and Geographical Information Integration (Abstract)

Zhuoqun Xu , Peking University
Yingwei Luo , Peking University
Xinpeng Liu , Peking University
Xiaolin Wang , Peking University
Wenjun Wang , Peking University
pp. 130-133

A Method Based on Improved Bayesian Inference Network Model and Hidden Markov Model for Prediction of Protein Secondary Structure (Abstract)

Hongji Yang , De Montfort University
Chengquan Hu , Jilin University
Zhezhou Yu , Jilin University
Chunguang Zhou , Jilin University
Guohui Yang , Jilin University
pp. 134-137

Spatiotemporal Helixes for Modeling Environmental Data (Abstract)

Kristin Eickhorst , University of Maine
Arie Croitoru , University of Maine
Tony Stefanidis , University of Maine
Peggy Agouris , University of Maine
pp. 138-141

Mining Complex Relationships in the SDSS SkyServer Spatial Database (Abstract)

Bavani Arunasalam , University of Sydney
Sanjay Chawla , University of Sydney
Robert Munro , University of Sydney
Pei Sun , University of Sydney
pp. 142-145

Mining Dynamic Interdimension Association Rules for Local-Scale Weather Prediction (Abstract)

Yaochun Huang , University of Texas at Dallas
Zhongnan Zhang , University of Texas at Dallas
Weili Wu , University of Texas at Dallas
pp. 146-149
Workshop Software Cybernetics II

Modeling and Control of the Incremental Software Test Process (Abstract)

Scott D. Miller , Purdue University
Aditya P. Mathur , Purdue University
Raymond A. DeCarlo , Purdue University
pp. 156-159

Software Test Process Control: Status and Future Directions (Abstract)

João W. Cangussu , University of Texas at Dallas
Ghaffari Abu , University of Texas at Dallas
Leeny Chacko , University of Texas at Dallas
pp. 160-163

Adaptive Software Testing with Fixed-Memory Feedback (Abstract)

Bo Gu , Beijing University of Aeronautics and Astronautics
Yong-Chao Li , Beijing University of Aeronautics and Astronautics
Kai-Yuan Cai , Beijing University of Aeronautics and Astronautics
Hai Hu , Beijing University of Aeronautics and Astronautics
pp. 186-189
Workshop on Quality Assurance and Testing of Web-Based Applications II

Online Testing of Web-Based Applications (Abstract)

Lining Quan , Peiking University
Qianxiang Wang , Peiking University
Fuchen Ying , Peiking University
pp. 166-169

Cooperative and Group Testing in Verification of Dynamic Composite Web Services (Abstract)

R. Paul , Department of Defense
H. Huang , Arizona State University
N. Liao , Arizona State University
W. T. Tsai , Arizona State University
Y. Chen , Arizona State University
pp. 170-173

Agent-Based Framework for Testing Web Applications (Abstract)

David Kung , University of Texas at Arlington
pp. 174-177

Code-Coverage Guided Prioritized Test Generation (Abstract)

J. Jenny Li , Avaya Labs
Howell Yee , Avaya Labs
pp. 178-181
Author Index

Author Index (PDF)

pp. 182-183
105 ms
(Ver )