compsac 2004

28th Annual International Computer Software and Applications Conference (COMPSAC 2004)

• 장소·일정: Hong Kong, Sep 28–30, 2004
• 논문: 161편 (IEEE Xplore 139편, 무료 사본 8편)

Main Conference

Component-Based Software I

• Distributed Component-Based Software Development: An Incremental Approach — E. S. de Almeida, A. Alvaro, D. Lucredio, A. F. do Prado and L. C. Trevelin
• TiViPE - Tino's Visual Programming Environment — T. Lourens
• Codifying a Service Architectural Style — D. Budgen, P. Brereton and M. Turner
• Formal Support for Development of JavaBeans™ Component Systems — B. P. Upadhyaya and Z. Liu

Process Management I

• Assuring Assessment Success — K. McKeever, J. Morrison and E. Peterson
• Enacting Conformance Assessment of Business Processes - An ebXML Based Approach in E-ADOME — Z. Shan, Q. Li and K. Karlapalem
• Continuous Productivity Assessment and Effort Prediction Based on Bayesian Analysis — S. J. Yun and D. B. Simmons
• Introducing Agility: A Case Study of Situational Method Engineering Using the OPEN Process Framework — M. K. Serour and B. Henderson-Sellers

Software Testing I

• An Edge Marking Technique for Dynamic Slicing of Object-Oriented Programs — D. P. Mohapatra, R. Mall and R. Kumar
• Modular Monadic Program Slicing — Y. Zhang, B. Xu, L. Shi, B. Li and H. Yang
• Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing — T. Shiba, T. Tsuchiya and T. Kikuno · Scholar 검색
• A Revisit of Adaptive Random Testing by Restriction — K. P. Chan, T. Y. Chen, F.-C. Kuo and D. Towey · 무료 사본 · figshare.com

Panel on Risk Management and Dependability - What Are the Key Factors?

• Risk Management and Dependability - What Are the Key Factors? — F. Belli · Scholar 검색
• Risk Management of Corporate Confidential Information in Digital Form — L. Hui, K. P. Chow, K. H. Pun, S. M. Yiu, W. W. Tsang, C. F. Chong and H. W. Chan
• Key Factors of Dependability of Mechatronic Units - Mechatronic Dependability — H.-D. Kochs · Scholar 검색

Formal Method I

• Implementing Hierarchical Features in a Graphically Based Formal Modelling Language — P. Henderson, R. J. Walters and S. Crouch
• Situated Modelling of Scenarios — F. A. C. Pinheiro
• PFGASAT - A Genetic SAT Solver Combining Partitioning and Fuzzy Strategies — J. Zhao, J. Bian and W. Wu
• Consistency Check in Modelling Multi-Agent Systems — L. Shan and H. Zhu

Middleware

• Stream Composition for Highly Adaptive and Reconfigurable Mobile Middleware — Y. Zheng and A. T. S. Chan
• SOWAC: A Service-Oriented Workflow Access Control Model — W. Xu, J. Wei, Y. Liu and J. Li
• Towards Autonomic Computing Middleware via Reflection — G. Huang, T. Liu, H. Mei, Z. Zheng, Z. Liu and G. Fan
• A Semantic-Aware Publish/Subscribe System with RDF Patterns — J. Wang, B. Jin, J. Li and D. Shao

Real-Time Systems

• Worst-Case Response Time Analysis for OSEK/VDX Compliant Real-Time Distributed Control Systems — W. Lei, W. Zhaohui and Z. Mingde
• Dynamic Real-Time Scheduling for Multi-Processor Tasks Using Genetic Algorithm — S.-C. Cheng and Y.-M. Huang
• Real-Time Strategy and Practice in Service Grid — H. Jin, H. Chen, J. Chen, P. Kuang, L. Qi and D. Zou
• A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation — A. M. K. Cheng and R. Wang

Panel on Computer Curricula for Software Engineering

• Computing Curricula Software Engineering: Position Paper — D. Budgen
• Computing Curriculum - Software Engineering: Its Impact on Professional Software Engineering Education — T. H. Tse
• Software Engineering Education During the 21st Century — D. B. Simmons · Scholar 검색
• Computing Curricula Software Engineering - A Watershed in SE Education? — J. B. Thompson · Scholar 검색

Software Reliability

• Application of Maximum Entropy Principle to Software Failure Prediction — W. Ji, Y. Hai-yan, J. Xiao-xia, L. Chang, L. Chao and J. Mao-zhong
• Software Reliability Growth Models Incorporating Fault Dependency with Various Debugging Time Lags — C.-Y. Huang, C.-T. Lin, S.-Y. Kuo, M. R. Lyu and C.-C. Sue
• The Effects of Fault Counting Methods on Fault Model Quality — A. P. Nikora and J. C. Munson
• Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking — M. Vieira and H. Madeira

Security I

• A Multi-Class SLIPPER System for Intrusion Detection — Z. Yu and J. J.-P. Tsai
• A Secure Mobile Agent System Model Based on Extended Elementary Object System — L. Ma, J. J.-P. Tsai and T. Murata
• A Secure and Fully Private Borda Voting Protocol with Universal Verifiability — W. Changjie and H.-F. Leung
• Enhanced Security Models for Operating Systems: A Cryptographic Approach — C. Payne

Panel on Research Directions in Software Process Improvement

• Research Directions in Software Process Improvement — D. N. Card
• State of the Art and Future of Research in Software Process Improvement — M. A. Serrano

Keynote Address 2

• Dependable Computing: Concepts, Challenges, Directions — J.-C. Laprie

Component-Based Software II

• Intelligent Component Selection — V. Maxville, J. Armarego and C. P. Lam
• Component-Wise Mapping of Media-Needs to a Distributed Presentation Environment — L. Feijs and J. Hu
• Component Failure Mitigation According to Failure Type — F. Ye and T. Kelly
• Modular Design of Reactive Systems — C. C. Seceleanu and T. Seceleanu

Process Management II

• Software Effort Prediction Models Using Maximum Likelihood Methods Require Multivariate Normality of the Software Metrics Data Sample: Can Such a Sample Be Made Multivariate Normal? — V. K. Y. Chan
• POP beyond SODA, Reaching the New Horizon of Service Cooperation — S. Liu, D. Ye, J. Wei, G. Xu, Y. Xia and Y. Liu
• FC Method: A Practical Approach to Improve Quality and Efficiency of Software Processes for Embedded System Revision — K. Aizawa, H. Kaiya and K. Kaijiri · 무료 사본 · soar-ir.repo.nii.ac.jp
• A Complete Textual Merging Algorithm for Software Configuration Management Systems — H. Shen and C. Sun

Software Testing II

• Test Criteria for Context-Free Grammars — H. Li, M. Jin, C. Liu and Z. Gao
• Mutation-Based Testing Criteria for Timeliness — R. Nilsson, J. Offutt and S. F. Andler
• Reachability Testing of Semaphore-Based Programs — Y. Lei and R. Carver
• On the Testing of Particular Input Conditions — E. Y. K. Chan, P.-L. Poon and Y. T. Yu

Panel on Computer Supported Cooperative Work in Software Engineering

• Computer Supported Cooperative Work in Software Engineering — J. J. Li, T. Li, Z. Lin, A. Mathur and K. Kanoun

Formal Method II

• Towards a Model Logic for p-Calculus — T. Chen, T. Han and J. Lu
• Generating Regression Tests via Model Checking — L. Xu, M. Dias and D. Richardson · 무료 사본 · durham-repository.worktribe.com
• Automated Consistency and Completeness Checking of Testing Models for Interactive Systems — A. Paradkar and T. Klinger
• Design of a CIL Connector to SPIN — L. Yongjian and X. Rui

Software Architecture

• A Taxonomy and Hierarchy of Variability Dependencies in Software Product Family Engineering — M. Jaring and J. Bosch
• A Development Framework for Rapid Meta-Heuristics Hybridization — H. C. Lau, W. C. Wan, M. K. Lim and S. Halim · 무료 사본 · ink.library.smu.edu.sg
• Safety Tactics for Software Architecture Design — W. Wu and T. Kelly
• A Uniform Meta-Model for Mediating Formal Electronic Conferences — J. Zhang, C. K. Chang and J. Voas

Security II

• Publicly Verifiable Auctions with Minimal Leakage — W. Qianhong, W. Changjie, C. Xiaofeng and W. Yumin
• A Hybrid Security Framework of Mobile Code — L. Qin, S. Duanfeng, H. Xinhui and Z. Wei
• A Novel Key Management Scheme for Dynamic Access Control in a User Hierarchy — T.-S. Chen, Y.-F. Chung and C.-S. Tian · Scholar 검색

Panel on Embedded Software Systems

• Active Surroundings: A Group-Aware Middleware for Embedded Application Systems — D. Lee
• Embedded Software in Real-Time Pervasive Computing Environments — S. S. Yau

Requirement & Design

• Priority Assessment of Software Requirements from Multiple Perspectives — X. Liu, C. S. Veera, Y. Sun, K. Noguchi and Y. Kyoya
• An Approach to Feature Based Modelling by Dependency Alignment for the Maintenance of the Trustworthy System — J. Kim and D. H. Bae
• Hiding Sensitive Patterns in Association Rules Mining — G. Lee, C.-Yu Chang and A. L. P. Chen
• Efficient Partial Multiple Periodic Patterns Mining without Redundant Rules — W. Yang and G. Lee

Pervasive/Ubiquitous Computing

• Materializing Ubiquitous Computing Environments — K. Kuramitsu and H. Tokuda
• Context-Based Access Control for Ubiquitous Service Provisioning — A. Corradi, R. Montanari and D. Tibaldi
• Development and Runtime Support for Situation-Aware Application Software in Ubiquitous Computing Environments — S. S. Yau, D. Huang, H. Gong and S. Seth
• Testing Context-Sensitive Middleware-Based Software Applications — T. H. Tse, S. S. Yau, W. K. Chan, H. Lu and T. Y. Chen · 무료 사본 · figshare.com

Internet Web System

• AdapTIVE: An Intelligent Virtual Environment and Its Application in e-Commerce — C. T. dos Santos and F. S. Osório
• Identifying and Breaking Necessary Constraints to Web-Based Metacomputing — W. Li, W. K. D. Pun and M. Zhang · 무료 사본 · figshare.com
• Multi-Dimension Browse — T.-Y. Liu and Y.-J. Joung
• Coordinating Web Services Using Channel Based Communication — T. Lemniotes, G. A. Papadopoulos and F. Arbab
• Supporting Concept Assignment in the Comprehension of Web Applications — G. A. Di Lucca, A. R. Fasolino, P. Tramontana and U. De Carlini

Keynote Address 3

• Formal Methods for Trustworthy Mobile Computing — H. Lin

Software Re-Engineering

• JART: Grammar-Based Approach to Refactoring — T. Kosar, M. Mernik and V. Zumer
• Extraction and Visualization of Architectural Structure Based on Cross References among Object Files — Q. Teng, X. Chen, X. Zhao, W. Zhu and L. Zhang
• Agentification for Web Services — F. Chen, H. Yang, H. Guo and B. Xu
• Software Quality and Agile Methods — M. Huo, J. Verner, L. Zhu and M. A. Babar · 무료 사본 · handle.unsw.edu.au

Quality Assurance

• Proof-Guided Testing: An Experimental Study — G. Lussier, H. Waeselynck and K. Guennoun
• An Approach for Software Reliability Model Selection — C. A. Asad, M. I. Ullah and M. J.-U. Rehman
• An Integrated Software Development Environment with XML Internal Representation — C.-H. Chang, W. C. Chu, C.-W. Lu and D.-L. Yang
• An Approach to Generate the Thin-Threads from the UML Diagrams — X. Bai, C. P. Lam and H. Li

Embedded Systems

• Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing — W. T. Tsai, W. Song, R. Paul, Z. Cao and H. Huang
• A New Receiver-Based Layered-Rate Estimator Algorithm for Fair Bandwidth Distribution — K. Papazis, N. K. Chilamkurti and B. Soh
• Study on Performance of IP-SWAN Based on Distributed NS-RAID — B. Cui, J. Liu, G. Wang and J. Liu
• A Reliable OS Kernel for Smart Sensors — W. Zhaohui, W. Lei and Z. Kougen

Workshops & Fast Abstracts

Workshops and Fast Abstracts - Front Matter

• Workshops and Fast Abstracts - Cover - 2004 · Scholar 검색
• Workshops and Fast Abstracts - Title - 2004 · Scholar 검색
• Workshops and Fast Abstracts - Copyright - 2004 · Scholar 검색
• Workshops and Fast Abstracts - Table of Contents - 2004 · Scholar 검색
• Workshops and Fast Abstracts - Message from the Steering Committee Chair - 2004 · Scholar 검색
• Workshops and Fast Abstracts - Message from the General Chair - 2004 · Scholar 검색
• Workshops and Fast Abstracts - Message from the Program Co-Chairs - 2004 · Scholar 검색
• Workshops and Fast Abstracts - Conference Organizers - 2004 · Scholar 검색
• Workshops and Fast Abstracts - Steering Committee - 2004 · Scholar 검색
• Workshops and Fast Abstracts - Program Committee - 2004 · Scholar 검색
• Workshops and Fast Abstracts - Reviewers - 2004 · Scholar 검색
• Workshops and Fast Abstracts - Author Index - 2004 · Scholar 검색

Fast Abstract I - Software Design and Analysis

• Model Oriented Software Architecture — H. Reza and E. Grant
• A Grid Service-Based Engineering Computation Architecture — C. H. Seng, D. Chen and H. Hu
• A Generic OO Architecture Language for Semantics Analysis of OO Specification — F. Xia
• An XML-Based Framework for Language Neutral Program Representation and Generic Analysis — R. Al-Ekram and K. Kontogiannis · Scholar 검색
• Adaptive Time-Critical Resource Management Using Time/Utility Functions: Past, Present, and Future — P. Li, B. Ravindran and E. D. Jensen
• Addressing: The Root of all Programming Evils — C. Mueller

Fast Abstract II - Software Quality Assurance

• Towards Optimization of the Coverage Testing of Interactive Systems — F. Belli and C. J. Budnik
• Estimation of Software Defects Fix Effort Using Neural Networks — H. Zeng and D. Rine
• A Change Impact Dependency Measure for Predicting the Maintainability of Source Code — F. Xia and P. Srikanth
• Optimizing the Planning and Executing of Software Independent Verification and Validation (IV&V) in Mature Organizations — C. Fuhrman, E. Palza and K. L. Do
• A View-Based Control Flow Metric — S. Gossens and M. D. Cin
• Using FMEA for Early Robustness Analysis of Web-Based Systems — J. Zhou and T. Stålhane
• eXtreme Programming (XP) as a 'Minimum' Software Process: A Grounded Theory — G. Coleman · 무료 사본 · hdl.handle.net
• eXtreme Programming Support Tool in Distributed Environment — S. Atsuta and S. Matsuura

Fast Abstract III - Security, Information Retrieval and Agent- Based Software

• Towards an Authentication Middleware to Support Ubiquitous Web Access — N. Zhang, J. Chin, A. Rector, C. Goble and Y. Li
• An Efficient Distributed Intrusion Detection Scheme — T. Holz
• N-Gram-Based Detection of New Malicious Code — T. Abou-Assaleh, N. Cercone, V. Keselj and R. Sweidan
• A Decision-Making Model for Intelligent Agent with Internal State — S.-L. Hu and H.-Y. Wu
• Goal Autonomous Agent Architecture — Z. Shen, R. Gay, Y. Miao and C. Miao
• An Intelligent Component Retrieval System Using Conversational CBR — M. Gu and X. Tong
• Excalibur: A Personalized Meta Search Engine — L. Yuen, M. Chang, Y. K. Lai and C. K. Poon
• Rich Media Retrieval in an Object XML Framework: A Case Study with Flash Movies Using Structural Join Index Hierarchy — E. H. C. Mak, C.-W. Fung and Q. Li

Fast Abstract IV - Software Applications

• A New e-Shopping System Using High Performance Custom Computers — Y. Y. Chung, Y. Sun, P. H. Wang and X. Chen
• Development of a Hybrid Automotive Wireless Harness — K. Akingbehin and N. Patel
• Lesions Learned from the Practice of Mobile Health Application Development — P. Yu and H. Yu
• Compressing an Inverted File with LCS — F.-Y. Leu and Y.-C. Fan
• An Imprecise Computation Model in Reducing Power Consumption of Flash Memory for Portable Devices — L.-P. Tung, J.-M. Chen, W.-F. Hsu and W.-K. Shih
• Robustness Study of an Embedded Operating System for Industrial Applications — J. Pardo, J. C. Campelo and J. J. Serrano

Workshop on Geographic and Biological Data Management I

• A New Approach to Representing Continuously Moving Regions — P. Jin, L. Yue and Y. Gong
• Evaluating GML Support for Spatial Databases — L. N. Sripada, C.-T. Lu and W. Wu
• A Spatial SQL Extension for Continuous Field Querying — R. Laurini, L. Paolino, M. Sebillo, G. Tortora and G. Vitiello
• Spatial Data Query Support in Peer-to-Peer Systems — R. Zimmermann, W.-S. Ku and H. Wang
• Protein Functional Motion Query and Visualization — X. Liu, H. A. Karimi, L.-W. Yang and I. Bahar

Workshop on Software Cybernetics I

• Self-Adaptive Software: Cybernetic Perspective and an Application Server Supported Framework — J. Shen, Q. Wang and H. Mei
• Adaptive Random Testing with CG Constraint — F. T. Chan, K. P. Chan, T. Y. Chen and S. M. Yiu
• Adaptive Control Software: Can We Guarantee Safety? — Y. Liu, S. Yerramalla, E. Fuller, B. Cukic and S. Gururajan

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

• Web Application Bypass Testing — J. Offutt, Y. Wu, X. Du and H. Huang
• Cooperative Agent Approach to Quality Assurance and Testing Web Software — H. Zhu
• Data Flow Analysis and Testing of Java Server Pages — C.-H. Liu
• WS-FIT: A Tool for Dependability Analysis of Web Services — N. Looker, M. Munro and J. Xu

Workshop on Geographic and Biological Data Management II

• On the Complexity of Finding Emerging Patterns — L. Wang, H. Zhao, G. Dong and J. Li · Scholar 검색
• Web Service and Geographical Information Integration — Y. Luo, X. Liu, W. Wang, X. Wang and Z. Xu
• A Method Based on Improved Bayesian Inference Network Model and Hidden Markov Model for Prediction of Protein Secondary Structure — G. Yang, C. Zhou, C. Hu, Z. Yu and H. Yang
• Spatiotemporal Helixes for Modeling Environmental Data — K. Eickhorst, A. Croitoru, P. Agouris and T. Stefanidis
• Mining Complex Relationships in the SDSS SkyServer Spatial Database — B. Arunasalam, S. Chawla, P. Sun and R. Munro
• Mining Dynamic Interdimension Association Rules for Local-Scale Weather Prediction — Z. Zhang, W. Wu and Y. Huang

Workshop Software Cybernetics II

• Linking Software Process Modeling with Markov Decision Theory — F. Padberg
• Modeling and Control of the Incremental Software Test Process — S. D. Miller, R. A. DeCarlo and A. P. Mathur
• Software Test Process Control: Status and Future Directions — G. Abu, L. Chacko and J. W. Cangussu

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

• Online Testing of Web-Based Applications — Q. Wang, L. Quan and F. Ying
• Cooperative and Group Testing in Verification of Dynamic Composite Web Services — W. T. Tsai, Y. Chen, R. Paul, N. Liao and H. Huang
• Agent-Based Framework for Testing Web Applications — D. Kung
• Code-Coverage Guided Prioritized Test Generation — J. J. Li and H. Yee

Workshops and Fast Abstracts - Late Papers

• Adaptive Software Testing with Fixed-Memory Feedback — K.-Y. Cai, B. Gu, H. Hu and Y.-C. Li · Scholar 검색
• Quantitative Analysis of Symbolic Execution — J. Zhang · Scholar 검색