compsac 2005

29th Annual International Computer Software and Applications Conference (COMPSAC 2005)

• 장소·일정: Edinburgh, Scotland, Jul 26–28, 2005
• 논문: 161편 (IEEE Xplore 138편, 무료 사본 7편)

Main Conference

Keynote Address I

• Industry Trends and Software Assurance — G. Spittle

Software Testing (I)

• Incremental Class Testing from a Class Test Order — Y. Labiche
• Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM — S. Li, J. Wang, X. Wang and Z.-C. Qi
• Iterative Metamorphic Testing — P. Wu
• Software Test Selection Patterns and Elusive Bugs — W. E. Howden

Process Management

• DIG: A Tool for Software Process Data Extraction and Grooming — S. D. Miller, A. P. Mathur and R. A. DeCarlo
• A Defect Estimation Approach for Sequential Inspection Using a Modified Capture-Recapture Model — C.-P. Chang, J.-L. Lv and C.-P. Chu
• Parallel Changes: Detecting Semantic Interferences — G. L. Thione and D. E. Perry

Software Architecture and Metric

• A Productivity Metric Based on Statistical Pattern Recognition — J. L. Sharpe and J. W. Cangussu
• Optimizing and Simplifying Software Metric Models Constructed Using Maximum Likelihood Methods — V. K. Y. Chan and W. E. Wong
• Structure Analysis for Dynamic Software Architecture Based on Spatial Logic — T. Han, T. Chen and J. Lu
• Performability Analysis of a Pipeline Software Architecture — S. S. Gokhale and S. Yacoub

Panel: High-Assurance Software for Mobile Tele-Health Systems

• High-Assurance Software Design for Mobile Tele-Health Systems — J. C. Lacal
• Wireless Security for Personalized and Mobile Healthcare Services — R. S. H. Istepanian

Software Reengineering and Service-Based Systems

• An Extended Approach to Improving the Semantic Interoperation Among Reuse Repositories — Y. Pan, L. Wang, L. Zhang, B. Xie and F. Yang
• An Empirical Study of a Reverse Engineering Method for Aggregation Relationship Based on Operation Propagation — D. Yeh, P.-C. Sun, W. Chu, C.-L. Lin and H. Yang
• Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services — W.-T. Tsai, Y. Chen, R. Paul, H. Huang, X. Zhou and X. Wei
• Situation-Awareness for Adaptive Coordination in Service-Based Systems — S. S. Yau, D. Huang, H. Gong and H. Davulcu

Middleware and Agent-Based Systems

• Self-Configuring Communication Middleware Model for Multiple Network Interfaces — N. Mohamed
• Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development — A. Solberg, D. Simmonds, R. Reddy, S. Ghosh and R. France
• Agent Oriented Programming Based on SLABS — J. Wang, R. Shen and H. Zhu
• Intention Scheduling for BDI Agent Systems — S.-B. Yan, Z.-N. Lin, H.-J. Hsu and F.-J. Wang

Security and Privacy (I)

• Detecting Intrusions Specified in a Software Specification Language — M. F. Raihan and M. Zulkernine
• SecureC: Control-Flow Protection Against General Buffer Overflow Attack — H. Nishiyama
• Buffer Overrun Prevention Through Component Composition Analysis — D. Llewellyn-Jones, M. Merabti, Q. Shi and B. Askwith
• Efficiently Managing Security Concerns in Component Based System Design — A. Masood, S. Sedigh-Ali and A. Ghafoor

Panel: Industry and Academia: Can They Agree on Best Practice Within Software Engineering?

• Industry and Academia: Can They Agree on Best Practice Within Software Engineering? — J. B. Thompson
• Best Practices in Software Engineering: Does Anybody in Industry or Academia Care? — S. Chen
• Principles Should Underlie Standards and Best Practices — P. Bourque

Requirement and Design (I)

• The Vital Few Versus the Trivial Many: Examining the Pareto Principle for Software — M. Gittens, Y. Kim and D. Godwin
• Transitioning from Product Line Requirements to Product Line Architecture — J. Savolainen, I. Oliver, M. Mannion and H. Zuo
• Designing Controllers for Reachability — C. C. Seceleanu
• Melody Classification Using EM Algorithm — Y. Yoshihara and T. Miura

Formal Methods

• A Formal Approach to Designing a Class-Subclass Structure Using a Partial-Order on the Functions — S. Kundu and N. Gwee
• A Family of Extended Fuzzy Description Logics — Y. Li, B. Xu, J. Lu, D. Kang and P. Wang
• Extended Symbolic Transition Graphs with Assignment — W. Deng and H. Lin
• MetaWSL and Meta-Transformations in the FermaT Transformation System — M. Ward and H. Zedan

Networked, Distributed, and Embedded Systems (I)

• Using AOP to Monitor and Administer Software for Grid Computing Environments — M. Grechanik, D. E. Perry and D. Batory
• Nearest Neighbor Queries on Extensible Grid Files Using Dimensionality Reduction — R. Miyoshi, T. Miura and I. Shioya
• Power Transmission Control Using Distributed Max Flow — A. Armbruster, M. Gosnell, B. McMillin and M. L. Crow

Plenary Panel: Security and Privacy in Distributed Collaborative Systems

• Security and Privacy in Collaborative Distributed Systems — S. S. Yau
• Rule Languages for Security and Privacy in Cooperative Systems — P. Bonatti
• Experiences on Intrusion Tolerance Distributed Systems — D. Feng and J. Xiang

Internet Web Systems

• Tree-Map Visualization for Web Accessibility — J. Bailey and E. Burd · 무료 사본 · durham-repository.worktribe.com
• On Personal Data License Design and Negotiation — Y.-J. Joung, C. Yen, C.-T. Huang and Y.-J. Huang
• Adapting Single-Request/Multiple-Response Messaging to Web Services — M. Ruth, F. Lin and S. Tu
• A Web Data Extraction Description Language and Its Implementation — I.-C. Wu, J.-Y. Su and L.-B. Chen

Verification and Validation

• A Blocking-Based Approach to Protocol Validation — Y. Lei, D. Kung and Q. Ye
• An Empirical Performance Study for Validating a Performance Analysis Approach: PSIM — J. Xia, Y. Ge and C. K. Chang
• Empirical Validation of Website Timeliness Measures — Y. Zhang, H. Zhu and S. Greenwood
• Hybrid Intelligent Systems: Selecting Attributes for Soft-Computing Analysis — P. Pattaraintakorn, N. Cercone and K. Naruedomkul

Panel: Model-Based Software Testing and Verification

• Model-Based Software Testing and Verification — A. P. Mathur
• Model-Based Testing: Challenges Ahead — M. P. E. Heimdahl
• Model-Based Testing for Enterprise Software Solutions — A. Jain
• Research Directions on Model-Based Metamorphic Testing and Verification — T. H. Tse

Mobile and Pervasive/Ubiquitous Computing

• A Probabilistic Approach to the Anxious Home for Activity Monitoring — G. West, S. Greenhill and S. Venkatesh
• Exception Handling in Coordination-Based Mobile Environments — A. Iliasov and A. Romanovsky
• A User-Adaptable User Interface Model to Support Ubiquitous User Access to EIS Style Applications — J. Davis, A. Tierney and E. Chang · 무료 사본 · espace.curtin.edu.au
• A Dynamic Context-Conflict Management Scheme for Group-Aware Ubiquitous Computing Environments — I. Park, D. Lee and S. J. Hyun

Panel: 21st-Century Global Software Development and Education

• Twenty-First Century Software Production Paradigms — D. B. Simmons
• SSI, Academia and Industry Collaboration — C. Nelson
• Conquering the Crisis in Software Engineering — V. Livschitz
• 21st Century Global Software Development and Education Position Statement — J. H. Cross
• Collaborative Global Software Development and Education — X. Liu
• Future Software Development and Education - A UK View — J. B. Thompson

Requirement and Design (II)

• A Tool and Case Study for Specification-Based Program Review — F. Nagoya, S. Liu and Y. Chen
• Tridirectional Computed Chaining: An Efficient Hashing Algorithm for Limited Space Applications — M. Loeb and A. L. Tharp
• A Requirement Engineering Approach for Designing XML-View Driven, XML Document Warehouses — V. Nassis, R. Rajugan, T. S. Dillon and W. Rahayu
• Structured Object-Oriented Co-Analysis/Co-Design of Hardware/Software for the FACTS Power System — M. Ryan, S. Markose, X. Liu, B. McMillin and Y. Cheng

Reliable Systems

• Gompertz Software Reliability Model and Its Application — K. Ohishi, H. Okamura and T. Dohi
• Software Reliability Growth Model Considering Testing Profile and Operation Profile — J. Zhao, H.-W. Liu, G. Cui and X.-Z. Yang
• RIES - Internet Voting in Action — E. Hubbers, B. Jacobs and W. Pieters · Scholar 검색
• Two Variations to the mCESG Pollsterless e-Voting Scheme — T. Storer and I. Duncan

Keynote Address II

• Towards a Model of Seamless Mobility - User Value and Security in Computing, Content, and Communications — J. Srinivas and S. Chen

Software Testing (II)

• Towards Describing Black-Box Testing Methods as Atomic Rules — T. Murnane, R. Hall and K. Reed
• Testing the Semantics of W3C XML Schema — J. B. Li and J. Miller
• Goal-Oriented Test Data Generation for Programs with Pointer Variables — A. Gotlieb, T. Denmat and B. Botella
• Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities — G. Devaraj, M. P. E. Heimdahl and D. Liang
• Testing Coverage Analysis for Software Component Validation — J. Gao, R. Espinoza and J. He

Dependability and Fault Tolerance

• Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures — S. A. Vilkomir, D. L. Parnas, V. B. Mendiratta and E. Murphy · 무료 사본 · hdl.handle.net
• A Comparison of Network Level Fault Injection with Code Insertion — N. Looker, M. Munro and J. Xu · 무료 사본 · durham-repository.worktribe.com
• The Coordinated Recovery of Data Service and Transaction Service in J2EE — T. Liu, G. Huang, G. Fan and H. Mei
• A Low-Latency Checkpointing Scheme for Mobile Computing Systems — G. Li and L. Shu

Panel: How Democratic Will e-Democracy Be?

• How Democratic Will e-Democracy Be? — S. Anderson and M. Felici
• Who Is Enfranchised by Remote Voting? — I. Brown
• Prospects for e-Voting — P. Ryan
• Position Statement: How democratic will e-Democracy be? — J. Bus · Scholar 검색

Security and Privacy (II)

• Automated Negotiation of Privacy Contracts — M. Maaser and P. Langendoerfer
• A Novel Method for Protecting Sensitive Knowledge in Association Rules Mining — E. T. Wang, G. Lee and Y. T. Lin
• Protecting Users Against Phishing Attacks with AntiPhish — E. Kirda and C. Kruegel
• A Performance-Based Grid Intrusion Detection System — F.-Y. Leu, J.-C. Lin, M.-C. Li and C.-T. Yang

Networked, Distributed, and Embedded Systems (II)

• Scoped Broadcast in Dynamic Peer-to-Peer Networks — H.-C. Hsiao and C.-T. King
• Character Recognition System for Cellular Phone with Camera — K. S. Bae, K. K. Kim, Y. G. Chung and W. P. Yu
• Towards a Contract Aware CORBA Component Container — E. Teiniker, R. Lechner, G. Schmoelzer, C. Kreiner, Z. Kovács and R. Weiss
• New Method for Dispatching Waiting Logical Processors in Virtual Machine Systems — H. Umeno, M. Kiyama, T. Fukunaga and T. Kubo
• Trust Management in a Distributed Environment (This is the position paper of Bhavani Thuraisingham, a panelist of the plenary panel, which arrived late. Please see Plenary Panel: Security and Privacy — B. Thuraisingham · Scholar 검색

Workshops & Fast Abstracts

Workshops and Fast Abstracts - Front Matter

• Workshops and Fast Abstracts - Cover - 2005 · Scholar 검색
• Workshops and Fast Abstracts - Title - 2005 · Scholar 검색
• Workshops and Fast Abstracts - Copyright - 2005 · Scholar 검색
• Workshops and Fast Abstracts - Table of Contents - 2005 · Scholar 검색
• Workshops and Fast Abstracts - Author Index - 2005 · Scholar 검색
• Workshops and Fast Abstracts - Fast Abstracts - 2005 · Scholar 검색
• Workshops and Fast Abstracts - Message from the Fast Abstract Co-Chairs - 2005 · Scholar 검색
• Workshops and Fast Abstracts - Quality Assurance and Testing of Web-Based Applications - 2005 · Scholar 검색
• Workshops and Fast Abstracts - Message from the Program Co-Chairs - 2005 · Scholar 검색
• Workshops and Fast Abstracts - Software Cybernetics - 2005 · Scholar 검색
• Workshops and Fast Abstracts - Message from the Workshop Organizers - 2005 · Scholar 검색
• Workshops and Fast Abstracts - Languages, Methods, and Tools for Model-Driven Agile Development - 2005 · Scholar 검색
• Workshops and Fast Abstracts - Message from the MAD'05 Workshop Chairs - 2005 · Scholar 검색
• Workshops and Fast Abstracts - Testing and Quality Assurance of Component-Based Software - 2005 · Scholar 검색
• Workshops and Fast Abstracts - Message from the TQACBS Program Co-Chairs - 2005 · Scholar 검색

Fast Abstract 1 - Software Specification, Design, Analysis, and Testing

• A Different View of Fault Prediction — T. J. Ostrand, E. J. Weyuker, R. M. Bell and R. C. W. Ostrand
• A Specification Construction Unit-Based Editor for Z — H. Ishikawa
• Contract-Based Formal Specification of Safety Critical Systems — W. Dong and J. Wang · Scholar 검색
• Towards Verification via Supercompilation — A. Lisitsa and A. Nemytykh
• What is SINS? — R. Bharadwaj
• Configuration Strategies for Evolutionary Testing — X. Xie, B. Xu, C. Nie, L. Shi and L. Xu · Scholar 검색

Fast Abstract 2 - Computing Platform, Service, and Application

• PerAd-Service: A Middleware Service for Pervasive Advertisement in M-Business — S. Ahmed, M. Sharmin and S. I. Ahamed
• Ubiquitous Computing for Hospital Applications: RFID - Applications to Enable Research in Real-Life Environments — A. Holzinger, K. Schwaberger and M. Weitlaner · Scholar 검색
• Product Families On-Chip - Combining the Software Product Family Paradigm with Run-Time Reprogrammable Hardware Technology — M. Jaring
• A HAL for Component-Based Embedded Operating Systems — Q. Teng, H. Wang and X. Chen
• Preventing Illegal Usage of Mobile Phone Software — Y.-S. Kim and E.-S. Cho · Scholar 검색
• Toward Stable Software Architecture for Wireless Sensor Networks — N. Mohamed and H. S. Hamza

Fast Abstract 3 - Data Mining and Knowledge Management

• Recovering "Lack of Words" in Text Categorization for Item Banks — A. Nuntiyagul, N. Cercone and K. Naruedomkul
• Searching Design Patterns in Source Code — D. Streitferdt, C. Heller and I. Philippow
• A Probabilistic Evaluation Function for Relaxed Unification — T. Abou-Assaleh, N. Cercone and V. Keselj
• Association Rule-Based Data Mining Agents for Personalized Web Caching — S. R. Mohan, E. K. Park and Y. Han
• Data Mining Application in Customer Relationship Management of Credit Card Business — R.-S. Chen, R.-C. Wu and J. Y. Chen
• Similarity Measurement Between Images — C.-C. Chen and H.-T. Chu

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

• An Agent-Based Testing Approach for Web Applications — Y. Qi, D. Kung and E. Wong
• Autonomous Hot Patching for Web-Based Applications — H. Huang, W.-T. Tsai and Y. Chen
• A Testing Approach for XML Schemas — M. C. F. P. Emer, S. R. Vergilio and M. Jino

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

• Keynote Speech: Testing Web Applications: The State of Art and the Future Trends — G. A. Di Lucca · Scholar 검색
• Increasing Web Service Dependability Through Consensus Voting — N. Looker, M. Munro and J. Xu
• Measuring the Functionality of Online Stores — E. Cachia and M. Micallef · 무료 사본 · um.edu.mt

Workshop on Software Cybernetics (I) Control Systems for Software Cybernetics

• Keynote Speech: The Information Age: Challenges and Opportunities for Control and Engineering — J. D. Birdwell, J. N. Chiasson, C. T. Abdallah, M. M. Hayat, Z. Tang and J. White
• State Space Approach to Security Quantification — C. Griffin, B. Madan and K. Trivedi
• Requirement Process Establishment and Improvement: From the Viewpoint of Cybernetics — H. Xu, P. Sawyer and I. Sommerville
• FMECA Control for Software Development — J. H. Graham
• Supervisory Control of Time Petri Nets Using Net Unfolding — U. Buy, H. Darabi, M. Lehene and V. Venepally

Workshop on Software Cybernetics (II) Software Testing Process Control

• A Software Cybernetic Approach to Control of the Software System Test Phase — S. D. Miller, R. A. DeCarlo and A. P. Mathur
• Self-Testability in Unit Testing — S. Beydeda
• Partition Testing with Dynamic Partitioning — K.-Y. Cai, T. Jing and C.-G. Bai
• Novelty Detection for a Neural Network-Based Online Adaptive System — Y. Liu, B. Cukic, E. Fuller, S. Gururajan and S. Yerramalla
• A Control Approach for Agile Processes — J. W. Cangussu and R. M. Karcich
• On the Potential of Process Simulation in Software Project Schedule Optimization — F. Padberg

Workshop on Software Cybernetics (III) Control Approaches for Software Development and Behavior

• Considerations on a New Software Architecture for Distributed Environments Using Autonomous Semantic Agents — A. Elçi and B. Rahnama · 무료 사본 · hdl.handle.net
• Constraint Violation Detection: A Fundamental Part of Software Cybernetics — Q. Wang
• Handling High-Bandwidth Traffic Aggregates by Receiver-Driven Feedback Control — C.-W. Tan, D.-M. Chiu, J. C. S. Lui and D. K. Y. Yau
• Synchronized Architectures for Adaptive Systems — T. Seceleanu and D. Garlan
• Component Security - Issues and an Approach — N. Nissanke

Workshop on Model-Driven Agile Development (I) Extreme Programming for Reengineering

• Keynote Speech: Model-Driven Agile Development (MAD) for Situation-Aware Software in Ubiquitous Computing Environments — S. S. Yau
• Extreme Programming for Distributed Legacy System Reengineering — B. Xu

Workshop on Model-Driven Agile Development (II) Component-Based Agile Development

• From Extreme Programming and Usability Engineering to Extreme Usability in Software Engineering Education (XP+UE-->XU) — A. Holzinger, M. Errath, G. Searle, B. Thurnher and W. Slany
• Experiences with a Dialog-Driven Process Model for Web Application Development — M. Book and V. Gruhn · 무료 사본 · ul.qucosa.de

Workshop on Testing and Quality Assurance of Component- Based Systems (I) Component-Based Software Testing and Regression Testing

• Fault Injection Approach Based on Dependence Analysis — R. L. O. Moraes, E. Martins and N. V. Mendes
• Reasoning About Software Architecture-Based Regression Testing Through a Case Study — H. Muccini, M. Dias and D. J. Richardson
• Automated Harvesting of Test Oracles for Reliability Testing — O. Hummel and C. Atkinson

Workshop on Testing and Quality Assurance of Component- Based Systems (II) Component Validation, Quality Measurement, and Test Automation

• Towards Self-Testing of Component-Based Software — F. Belli and C. J. Budnik
• A Component Testability Model for Verification and Measurement — J. Gao and M.-C. Shih
• A Framework for Efficient Contract-Based Testing of Software Components — E. Valentini, G. Fliess and E. Haselwanter