CSDL - Proceedings C

Message from the General Chair (PDF)

pp. x

Message from the Program Co-Chairs (PDF)

pp. xi

Conference Organizers (PDF)

pp. xii

Steering Committee (PDF)

pp. xiii

Program Committee (PDF)

pp. xiv

Reviewers (PDF)

pp. xv

Fast Abstract I — Software Design and Analysis

Model Oriented Software Architecture (PDF)

Hassan Reza, University of North Dakota

Emanuel Grant, University of North Dakota

pp. 4-5

A Grid Service-Based Engineering Computation Architecture (PDF)

Changqin Huang, Zhejiang University

Deren Chen, Zhejiang University

Hualiang Hu, Zhejiang University

pp. 6-7

A Generic OO Architecture Language for Semantics Analysis of OO Specification (PDF)

Franck Xia, University of Missouri-Rolla

pp. 8-9

An XML-Based Framework for Language Neutral Program Representation and Generic Analysis (PDF)

Raihan Al-Ekram, University of Waterloo

Kostas Kontogiannis, University of Waterloo

pp. 10-11

Adaptive Time-Critical Resource Management Using Time/Utility Functions: Past, Present, and Future (PDF)

Peng Li, Virginia Tech

Binoy Ravindran, Virginia Tech

E. Douglas Jensen, The MITRE Corporation

pp. 12-13

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)

Hui Zeng, George Mason University

David Rine, George Mason University

pp. 20-21

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

Franck Xia, University of Missouri-Rolla

Praveen Srikanth, University of Missouri-Rolla

pp. 22-23

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

Christopher Fuhrman, ?cole de Technologie Sup?rieure

Edgardo Palza, ?cole de Technologie Sup?rieure

Kim Loan Do, ?cole de Technologie Sup?rieure

pp. 24-25

A View-Based Control Flow Metric (PDF)

Stefan Gossens, University of Erlangen-Nuremberg

Mario Dal Cin, 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 (XP) as a ?Minimum? Software Process: A Grounded Theory (PDF)

Gerry Coleman, Dundalk IT

pp. 30-31

eXtreme Programming Support Tool in Distributed Environment (PDF)

Satoshi Atsuta, Shibaura Institute of Technology

Sacko Matsuura, 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)

N. Zhang, University of Manchester

J. Chin, University of Manchester

A. Rector, University of Manchester

C. Goble, University of Manchester

Y. Li, University of Manchester

pp. 36-38

PDF

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)

Tony Abou-Assaleh, Dalhousie University

Nick Cercone, Dalhousie University

Vlado Kešelj, Dalhousie University

Ray Sweidan, 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)

Zhiqi Shen, Nanyang Technological University

Robert Gay, Nanyang Technological University

Yuan Miao, Nanyang Technological University

Chunyan 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

Matthew Chang, City University of Hong Kong

Ying Kit Lai, City University of Hong Kong

Chung Keung Poon, City University of Hong Kong

pp. 49-50

Rich Media Retrieval in an Object XML Framework: A Case Study with Flash Movies Using Structural Join Index Hierarchy (PDF)

Edmund Hon Chung Mak, Hong Kong Institute of Education

Chi-wai Fung, HKIVE

Qing Li, City University of Hong Kong

pp. 51-52

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)

Kiumi Akingbehin, University of Michigan-Dearborn

Nilesh Patel, 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)

Fang-Yie Leu, Tung-Hai University

Yao-Chung Fan, Tung-Hai University

pp. 60-61

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

Li-Ping Tung, National Tsing Hua University

Jia-Ming Chen, National Tsing Hua University

Wei-Fen Hsu, 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. C. Campelo, Polytechnic University of Valencia

J. J. Serrano, Polytechnic University of Valencia

pp. 64-65

Workshop on Geographic and Biological Data Management I

A New Approach to Representing Continuously Moving Regions (Abstract)

Peiquan Jin, University of Science and Technology of China

Lihua Yue, University of Science and Technology of China

Yuchang Gong, University of Science and Technology of China

pp. 70-73

PDF

Evaluating GML Support for Spatial Databases (PDF)

Lakshmi N. Sripada, Virginia Tech

Chang-Tien Lu, 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

Monica Sebillo, University of Salerno

Genoveffa Tortora, University of Salerno

Giuliana Vitiello, University of Salerno

pp. 78-81

PDF

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

Roger Zimmermann, University of Southern California

Wei-Shinn Ku, University of Southern California

Haojun Wang, University of Southern California

pp. 82-85

PDF

Protein Functional Motion Query and Visualization (Abstract)

Xiong Liu, University of Pittsburgh

Hassan A. Karimi, University of Pittsburgh

Lee-Wei Yang, University of Pittsburgh

Ivet Bahar, University of Pittsburgh

pp. 86-89

PDF

Workshop on Software Cybernetics I

Self-Adaptive Software: Cybernetic Perspective and an Application Server Supported Framework (Abstract)

Junrong Shen, Peking University

Qianxiang Wang, Peking University

Hong Mei, Peking University

pp. 92-95

PDF

Adaptive Random Testing with CG Constraint (Abstract)

F. T. Chan, University of Hong Kong

K. P. Chan, University of Hong Kong

T. Y. Chen, Swinburne University of Technology

S. M. Yiu, University of Hong Kong

pp. 96-99

PDF

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

Yan Liu, West Virginia University

Sampath Yerramalla, West Virginia University

Edgar Fuller, West Virginia University

Bojan Cukic, West Virginia University

Srikanth Gururajan, West Virginia University

pp. 100-103

PDF

Workshop on Quality Assurance and Testing of Web-Based Applications I

Web Application Bypass Testing (Abstract)

Jeff Offutt, George Mason University

Ye Wu, George Mason University

Xiaochen Du, George Mason University

Hong Huang, George Mason University

pp. 106-109

PDF

Cooperative Agent Approach to Quality Assurance and Testing Web Software (Abstract)

Hong Zhu, Oxford Brookes University

pp. 110-113

PDF

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

Chien-Hung Liu, National Taipei University of Technology

pp. 114-119

PDF

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

Nik Looker, University of Durham

Malcolm Munro, University of Durham

Jie Xu, University of Leeds

pp. 120-123

PDF

Workshop on Geographic and Biological Data Management II

On the Complexity of Finding Emerging Patterns (Abstract)

Lusheng Wang, City University of Hong Kong

Hao Zhao, City University of Hong Kong

Guozhu Dong, Wright State University

Jianping Li, Yunnan University and City University of Hong Kong

pp. 126-129

PDF

Web Service and Geographical Information Integration (Abstract)

Yingwei Luo, Peking University

Xinpeng Liu, Peking University

Wenjun Wang, Peking University

Xiaolin Wang, Peking University

Zhuoqun Xu, Peking University

pp. 130-133

PDF

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

Guohui Yang, Jilin University

Chunguang Zhou, Jilin University

Chengquan Hu, Jilin University

Zhezhou Yu, Jilin University

Hongji Yang, De Montfort University

pp. 134-137

PDF

Spatiotemporal Helixes for Modeling Environmental Data (Abstract)

Kristin Eickhorst, University of Maine

Arie Croitoru, University of Maine

Peggy Agouris, University of Maine

Tony Stefanidis, University of Maine

pp. 138-141

PDF

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

Bavani Arunasalam, University of Sydney

Sanjay Chawla, University of Sydney

Pei Sun, University of Sydney

Robert Munro, University of Sydney

pp. 142-145

PDF

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

Zhongnan Zhang, University of Texas at Dallas

Weili Wu, University of Texas at Dallas

Yaochun Huang, University of Texas at Dallas

pp. 146-149

PDF

Workshop Software Cybernetics II

Linking Software Process Modeling with Markov Decision Theory (Abstract)

Frank Padberg, Universität Karlsruhe

pp. 152-155

PDF

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

Scott D. Miller, Purdue University

Raymond A. DeCarlo, Purdue University

Aditya P. Mathur, Purdue University

pp. 156-159

PDF

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

Ghaffari Abu, University of Texas at Dallas

Leeny Chacko, University of Texas at Dallas

João W. Cangussu, University of Texas at Dallas

pp. 160-163

PDF

Adaptive Software Testing with Fixed-Memory Feedback (Abstract)

Kai-Yuan Cai, Beijing University of Aeronautics and Astronautics

Bo Gu, Beijing University of Aeronautics and Astronautics

Hai Hu, Beijing University of Aeronautics and Astronautics

Yong-Chao Li, Beijing University of Aeronautics and Astronautics

pp. 186-189

PDF

Workshop on Quality Assurance and Testing of Web-Based Applications II

Online Testing of Web-Based Applications (Abstract)

Qianxiang Wang, Peiking University

Lining Quan, Peiking University

Fuchen Ying, Peiking University

pp. 166-169

PDF

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

W. T. Tsai, Arizona State University

Y. Chen, Arizona State University

R. Paul, Department of Defense

N. Liao, Arizona State University

H. Huang, Arizona State University

pp. 170-173

PDF

Agent-Based Framework for Testing Web Applications (Abstract)

David Kung, University of Texas at Arlington

pp. 174-177

PDF

Code-Coverage Guided Prioritized Test Generation (Abstract)

J. Jenny Li, Avaya Labs

Howell Yee, Avaya Labs

pp. 178-181

PDF

Author Index

Author Index (PDF)

pp. 182-183