compsac 2006

30th Annual International Computer Software and Applications Conference (COMPSAC 2006)

• 장소·일정: Chicago, Illinois, USA, Sep 18–21, 2006
• 논문: 153편 (IEEE Xplore 152편, 무료 사본 7편)

Volume 1

Keynote Vol. I

• Practical Autonomic Computing — G. Cybenko, V. H. Berk, I. D. Gregorio-De.Souza and C. Behre

Plenary Panel Session: Future Trends of Software Technology and Applications

• Future Trends of Software Technology and Applications
• Future Trends of Software Technology and Applications: Software Architecture — P. C. Clements
• Future Trends of Software Technology and Applications: The Phone is the Computer — W. Harrison
• Future Trends of Software Technology and Applications Model-Based Development — J. C. Knight

Panel Session: e-Security, Granular Computing, and Web Intelligence

• Introduction to Panels on e-Security, Granular Computing and Web Intelligence — T. Y. Lin
• Granular Computing, Computer Security and Web Intelligence — T. Y. Lin
• How to Make "Web Intelligence (WI) meets Brain Informatics (BI)" Successfully? — N. Zhong
• Data Structure and Algorithm in Data Mining: Granular Computing View — S. Tsumoto

Panel Session: COMPSAC Panel Session on Trustworthy Computing

• COMPSAC Panel Session on Trustworthy Computing — A. Miller, J. McLean, O. S. Saydjari and J. Voas
• Trustworthy Software: Why We Need It, Why We Don't Have It, How We Can Get It — J. McLean
• Trustworthy Computing Needs — A. Miller
• Reliability and Fault Tolerance in Trust — J. Voas
• Risk: A Good System Security Measure — O. S. Saydjari

Panel Session: Just Enough Requirements Traceability

• Just Enough Requirements Traceability — J. Cleland-Huang

Panel Session: Software Engineering from Perspective of USA, Europe, India, Asia, and the Research Community

• Software Engineering Education in the New Millennium - A View from Asia — C. K. Chang
• Software Engineering Education in the New Millennium — D. B. Simmons

Panel Session: Global Software Engineering and How to Prepare Our Students

• Imparting Global Software Development Experience via an IT Project Management Course: Critical Success Factors — M. P. Adya
• An Academic Perspective on Globalization in the Software Industry — U. Bellur
• Global Software Enterpreneurship — V. Vasudevan
• Global Software Development for the Enterprise — R. Ramnath
• Model for Global Software Engineering Project Life Cycle and How to Use it in Classroom for Preparing Our Students for the Globalization — S. I. Ahamed

Applications

• A Performance Engineering Tool for Tiered Software Systems — V. S. Sharma, P. Jalote and K. S. Trivedi
• Accomplishments and Challenges of Protein Ontology — A. S. Sidhu, T. S. Dillon, F. K. Hussain and E. Chang · 무료 사본 · espace.curtin.edu.au
• Alert Based Monitoring of Stock Trading Systems — E. W. Y. Ho, D. K. W. Chiu and P. C. K. Hung

Architecture I

• An Aspect-Oriented Approach to Resource Composition in Petri Net-Based Software Architectural Models — T.-H. Kim and C. K. Chang
• Engineering Reconfigurable Product Families - Architecting the Variability Infrastructure of a Product Family On-Chip — M. Jaring
• A Biologically-Inspired Autonomic Architecture for Self-Healing Data Centers — P. Champrasert and J. Suzuki

Architecture 2

• Detecting Data Races on Framework-Based Applications — F. Balaguer, T. S. M. Ho and R. Johnson
• Tool Support to Model-Based Quality Analysis of Software Architecture — Q. Zhang, J. Wu and H. Zhu
• Generating Domain Specific Graphical Modeling Editors from Meta Models — R. Zbib, A. Jain, D. Bassu and H. Agrawal

Formal Methods/Models 1

• Verifying Java Programs By Theorem Prover HOL — A. Wang, H. Fei, M. Gu and X. Song
• Model Checking with Induction — K. Chang and D. Kung
• On the Distribution of Property Violations in Formal Models: An Initial Study — J. Gao, M. Heimdahl, D. Owen and T. Menzies

Formal Methods/Models 2

• Efficient Modeling of Hierarchical Dialog Flows for Multi-Channel Web Applications — M. Book and V. Gruhn · 무료 사본 · ul.qucosa.de
• A Formal Approach to Pre-Market Review for Medical Device Software — R. Jetley, S. P. Iyer, P. L. Jones and W. Spees
• Modeling the Symptomatic Fixes Archetype in Enterprise Computer Security — S. N. Rosenfeld, I. Rus and M. Cukier

Maintenance

• An Experimental Study on Software Aging and Rejuvenation in Web Servers — R. Matias and P. J. F. Filho
• A Novel Structure-Oriented Difference Approach for Software Artifacts — T. N. Nguyen
• A Formal Model Driven Approach to Dependable Software Evolution — F. Chen, H. Yang, B. Qiao and W. C.-C. Chu

Metrics

• Do Structural Design Patterns Promote Design Stability? — M. Elish
• Software Effort Estimation Based on Use Cases — M. R. Braz and S. R. Vergilio
• Scale Free in Software Metrics — L. Jing, H. Keqing, M. Yutao and P. Rong
• An Agent-Based Metric for Quality of Services over Wireless Networks — Y.-C. Chen and W.-Y. Chen

Pervasive Computing

• Highly Reliable Mobile Desktop Computing in Your Pocket — S. Potter and J. Nieh
• Proxy-Based Pervasive Multimedia Content Delivery — H. N. Palit, C.-H. Chi and L. Liu

Requirements/Design 1

• Phrasing in Dynamic Requirements Trace Retrieval — X. Zou, R. Settimi and J. Cleland-Huang
• An Instance-Based Structured Object Oriented Method for Co-analysis/Co-design of Concurrent Embedded Systems — M. Ryan, S. Simsek, X. Liu, B. McMillin and Y. Cheng
• A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co-Analysis and Co-Design of Real-Time Systems — Y. Sun, X. Liu and B. McMillin

Requirements/Design 2

• A Coordination Framework for Software Component Based Development — J. Guo
• An Approach for Developing Adaptive, Mobile Applications with Separation of Concerns — N. Paspallis and G. A. Papadopoulos
• CAPIS Model Based Software Design Method for Sharing Experts' Thought Processes — K. Oyama, A. Takeuchi and H. Fujimoto

Security 1

• A Pattern-Based Technique for Developing UML Models of Access Control Systems — D.-K. Kim and P. Gokhale
• Efficacy of Hidden Markov Models Over Neural Networks in Anomaly Intrusion Detection — M. Al-Subaie and M. Zulkernine
• An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns — Y. Zhang, J. Rilling and V. Haarslev

Security 2

• Integrating Static and Dynamic Analysis for Detecting Vulnerabilities — A. Aggarwal and P. Jalote
• Security Consistency in UML Designs — O. Pilskalns, D. Williams, D. Aracic and A. Andrews
• A Service-Oriented Design Framework for Secure Network Applications — H. Wada, J. Suzuki and K. Oba

Testing 1

• Proportional Intensity-Based Software Reliability Modeling with Time-Dependent Metrics — K. Rinsaka, K. Shibata and T. Dohi
• Automatic Identification of Change Points for the System Testing Process — J. W. Cangussu and M. Baron
• Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing — J. Yan and J. Zhang

Testing 2

• Testing Scenario Implementation with Behavior Contracts — D. Liang and K. Xu
• On Detection Conditions of Double Faults Related to Terms in Boolean Expressions — M. F. Lau, Y. Liu and Y. T. Yu · 무료 사본 · figshare.com
• Test Case Prioritization Using Relevant Slices — D. Jeffrey and N. Gupta

Testing 3

• A Network-Level Distributed Fault Injector for Experimental Validation of Dependable Distributed Systems — G. Jacques-Silva, R. J. Drebes, J. Gerchman, J. M. F. Trindade, T. S. Weber and I. Jansch-Pôrto
• Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering — W. K. Chan, S. C. Cheung, J. C. F. Ho and T. H. Tse

Testing 4

• Automatic Validation of Java Page Flows Using Model-Based Coverage Criteria — J. Alava, T. M. King and P. J. Clarke
• A Case Study for Invalidating the Markovian Property of GUI Software Structural Profile — B.-B. Yin, Y. Shi, C.-G. Bai and K.-Y. Cai
• A Systematic Regression Testing Method and Tool for Software Components — J. Gao, D. Gopinathan, Q. Mai and J. He

Testing 6

• Architecting a Testing Framework for Publish/Subscribe Applications — A. Michlmayr, P. Fenkam and S. Dustdar
• An Empirical Study on the Selection of Good Metamorphic Relations — J. Mayer and R. Guderlei
• Forgetting Test Cases — K. P. Chan, T. Y. Chen and D. Towey

Web Service 1

• Performance and Availability Analysis of an e-Commerce Site — S. S. Gokhale and J. Lu
• Automated Agent Synthesis for Situation Awareness in Service-Based Systems — S. S. Yau, H. Gong, D. Huang, W. Gao and L. Zhu

Web Service 2

• Web Service Retrieval: An Approach Based on Context Ontology — Z. Jin and L. Liu
• A Communication Virtual Machine — Y. Deng, S. M. Sadjadi, P. J. Clarke, C. Zhang, V. Hristidis, R. Rangaswami and N. Prabakar
• Quantitative Analysis on the Cacheability Factors of Web Objects — C.-H. Chi, L. Liu and L. W. Zhang

Volume 2

Pervasive/Performance

• Location Updates In Cellular Networks Using Bloom Filters — K. Subramaniam, A. L. Tharp and A. A. Nilsson
• Distributed Processes on Tree Hash — K. Yasuda, T. Miura and I. Shioya
• Trading Integrity for Availability by Means of Explicit Runtime Constraints — L. Froihofer, J. Osrael and K. M. Goeschka
• A Run-Time Adaptive and Code-Size Efficient XML Parser — Z. Yanming and Q. Mingbin
• Performance Analysis of an Asynchronous Web Server — U. Praphamontripong, S. Gokhale, A. Gokhale and J. Gray

Requirements/Design

• Choosing the Right Time to Compose Aspectual Scenarios — J. Araújo, J. Whittle and A. Moreira
• Self-Management of COTS Component-Based Systems Using Wrappers — M. E. Shin and F. Paniagua · 무료 사본 · ttu-ir.tdl.org
• Intelligent Classification and Retrieval of Software Components — A. S. Andreou, D. G. Vogiatzis and G. A. Papadopoulos
• Traceability between Software Architecture Models — Y. Feng, G. Huang, J. Yang and H. Mei
• Achieving Dependable Component-Based Systems through Generative Aspect Oriented Component Adaptation — X. Liu, Y. Feng and J. Kerridge
• The Model and Implementation of Component Array Container — Z. Liu, G. Huang and H. Mei

Design/Security

• Preventing Feature Interactions by Constraints — J. Zuo, Q. Wang and H. Mei
• Frameworks Built on the Trusted Platform Module — M. Barrett and C. Thomborson
• Separating Functional and Non-functional Concerns through Coordination: An Application to Reliability — P.-E. Poirot, S. Ren, J. Nogiec and J. Tsai
• SSRD+: A Privacy-Aware Trust and Security Model for Resource Discovery in Pervasive Computing Environment — M. Sharmin, S. I. Ahamed, S. Ahmed and H. Li
• Security Design Based on Social Modeling — L. Liu, E. Yu and J. Mylopoulos

Security

• An Aspect-Oriented Approach to Security Requirements Analysis — D. Xu, V. Goel and K. Nygard
• A Software Architectural Approach to Security by Design — A. Ray and R. Cleaveland
• Reflective, Model-Based Data Access with the Type-Safe Entity Container — G. Schmoelzer, C. Kreiner, Z. Kovács and M. Thonhauser

Testing

• A Technique to Reduce the Test Case Suites for Regression Testing Based on a Self-Organizing Neural Network Architecture — A. da S. Simão, R. F. de Mello and L. J. Senger
• Realization of Systematic Reliability Analysis of Decomposable Systems — S. Kim and G. Hoff
• Automating the Generation of Test Cases from Object-Z Specifications — A. Ashraf and A. Nadeem
• Planning and Scheduling from a Class Test Order — Y. Labiche
• Analyzing Inaccurate Artifact Usages in a Workflow Schema — F.-J. Wang, C.-L. Hsu and H.-J. Hsu

Web Services/Applications

• Modeling Web Accessibility: A Case Study on Texas A&M University People Website — Y. Wang and D. Simmons
• Tool for Analysis and Simulation of TTCAN Communication in Distributed Systems — J. A. de Frutos, E. Cadiñanos, J. I. Pérez and S. García
• Moving Software from Expense to Asset — R. Krishnan and M. Nadworny
• Automated Negotiation for Service Contracts — R. Lock · 무료 사본 · dspace.lboro.ac.uk
• ARIMAmmse: An Improved ARIMA-based Software Productivity Prediction Method — L. Ruan, Y. Wang, Q. Wang, F. Shu, H. Zeng and S. Zhang · Scholar 검색
• An Interface Theory Based Approach to Verification of Web Services — Z. Chen, J. Wang, W. Dong, Z. Qi and W. L. Yeung

The Third International Workshop on Quality Assurance and Testing Web-Based Applications (QATWBA '06)

• A Framework for Service-Oriented Testing of Web Services — H. Zhu
• A Multi-Agent Framework for Testing Distributed Systems — H. F. El Yamany, M. A. M. Capretz and L. F. Capretz · 무료 사본 · arxiv.org
• A Framework of Model-Driven Web Application Testing — N. Li, Q.-Q. Ma, J. Wu, M.-Z. Jin and C. Liu
• Testability of Software in Service-Oriented Architecture — W. T. Tsai, J. Gao, X. Wei and Y. Chen

Second International Workshop on Testing and Quality Assurance for Component-Based Systems (TQACBS 2006)

• The MORABIT Approach to Runtime Component Testing — D. Suliman, B. Paech, L. Borner, C. Atkinson, D. Brenner, M. Merdes and R. Malaka
• Automated Health-Assessment of Software Components Using Management Instrumentation — F. Karim and H. Thanneer
• A Practical Approach for Automated Test Case Generation Using Statecharts — V. Santiago, A. S. M. do Amaral, N. L. Vijaykumar, M. de F. Mattiello-Francisco, E. Martins and O. C. Lopes
• Quality Assurance of Open Source Components: Integrator Point of View — P. Mäki-Asiala and M. Matinlassi

Security, Privacy, and Trust for Pervasive Applications (SPTPA 2006)

• Security Analysis of RFID Authentication for Pervasive Systems Using Model Checking — H.-S. Kim, J.-H. Oh and J.-Y. Choi
• Intrusion Detection in Pervasive Networks Based on a Chi-Square Statistic Test — B. Zhou, Q. Shi and M. Merabti
• Property-Based Peer Trust in the Sleeper Service Discovery Protocol — J. Buford, E. Celebi and P. Frankl
• Application of Fuzzy Logic in Federated Trust Management for Pervasive Computing — Z. Wu and A. C. Weaver

The Third International Workshop on Software Cybernetics (IWSC '06)

• A Dynamic Partitioning Approach for GUI Testing — K.-Y. Cai, L. Zhao and F. Wang
• Automatic Stress and Load Testing for Embedded Systems — M. S. Bayan and J. W. Cangussu
• Early Software Reliability Prediction with Extended ANN Model — Q. P. Hu, Y. S. Dai, M. Xie and S. H. Ng
• A New Generalized Particle Dynamics Model For Software Cybernetics — D. Shuai, B. Zhang and C. Lu
• Self-Organizing Software Processes Based on Particle Dynamics Model — D. Shuai, B. Zhang and C. Lu
• A Visual Constraint Specifying Approach for Adaptive Software — Q. Wang, M. Li and N. Meng
• A Theory of Software-Mediated Enterprise Governance — J. S. Bayne
• Self-Metamorphic-Testing Components — S. Beydeda

International Workshop on Engineering Semantic Agent Systems (ESAS 2006)

• Discovery and Scoring of Semantic Web Services Based on Client Requirement(s) Through a Semantic Search Agent — D. Çelik and A. Elçi · 무료 사본 · hdl.handle.net
• Consensus Ontology Generation in a Socially Interacting MultiAgent System — E. Biçici
• Entanglement Partitioning of Quantum Particles for Data Clustering — D. Shuai, C. Lu and B. Zhang
• MSC: A Semantic Ranking for Hitting Results of Matchmaking of Services — X. Shen, X. Jin, R. Bie and Y. Sun
• Model-Driven Agile Development of Reactive Multi-Agent Systems — J. Kirby
• Understanding Requirements: Aspect Oriented Software Development — D. Dahiya and R. K. Sachdeva
• An Improved Free-Roaming Mobile Agent Security Protocol against Colluded Truncation Attacks — D. Xu, L. Harn, M. Narasimhan and J. Luo
• Secure e-Payment using Multi-Agent Architecture — M. M. Kouta, M. M. A. Rizka and A. M. Elmisery
• An Agent-Oriented Logic for Belief and Trust — S. Ustymenko and D. G. Schwartz
• Mine Detection and Route Planning in Military Warfare Using Multi Agent System — K. Zafar, S. B. Qazi and A. R. Baig
• Agent-Based Offline Electronic Voting — M. T. Sandikkaya and B. Orencik

PH-D Papers

• A Control-Theoretic Aid to Managing the Construction Phase in Incremental Software Development (Extended Abstract) — S. D. Miller
• Information Privacy Management in Smart Home Environments: Modeling, Verification, and Implementation — R. Babbitt
• Intrusion Detection Techniques in Wireless Ad Hoc Networks — X. Wang
• SymbioticSphere: A Biologically-Inspired Autonomic Architecture for Self-Managing Network Systems — P. Champrasert and J. Suzuki
• A Domain Specific Modeling Framework for Secure Network Applications — H. Wada and J. Suzuki
• A General Purpose Framework for Wireless Sensor Network Applications — A. Z. Faza and S. Sedigh-Ali
• QoS-Based Service Composition — J. Xia
• Can the Genetic Algorithm Be a Good Tool for Software Engineering Searching Problems? — H. Jiang

Fast Abstracts

• Technical Solution to Automate Smoke Test Using Rational Functional Tester and Virtualization Technology — N. Y. Zhao and M. W. Shum
• Identifying and Testing for Insecure Paths in Cryptographic Protocol Implementations — K. R. Jayaram
• A Continuous Improvement Model in ImPProS — S. R. B. Oliveira and A. M. L. de Vasconcelos
• Building a UML Profile for On-Chip Distributed Platforms — T. Lindroth, R. Lavinia, T. Seceleanu, N. Avessta and J. Teuhola
• Dynamic Object Viewers for Java — J. H. Cross, T. D. Hendrix, L. A. Barowski and J. Jain
• Autonomous Real-Time Monitoring of Hydrological Environments — J. R. Koch and T. V. Freiberger
• An Autonomous and Adaptable Wireless Device for Flood Monitoring — V. Plessi, F. Bastianini and S. Sedigh-Ali