30. COMPSAC 2006: Chicago, Illinois, USA

30th Annual International Computer Software and Applications Conference (COMPSAC 2006), 17-21 September 2006, Chicago, Illinois, USA. IEEE Computer Society 2006, ISBN 0-7695-2655-1 BibTeX

Volume 1 - (Volume 2)

Keynote

George Cybenko, Vincent H. Berk, Ian D. Gregorio-De Souza, Chad Behre:
Practical Autonomic Computing. 3-14
Electronic Edition (link) BibTeX

Panels

Stephen S. Yau:
Future Trends of Software Technology and Applications. 15
Electronic Edition (link) BibTeX
Paul C. Clements:
Future Trends of Software Technology and Applications: Software Architecture. 16
Electronic Edition (link) BibTeX
Warren Harrison:
Future Trends of Software Technology and Applications: The Phone is the Computer. 17
Electronic Edition (link) BibTeX
John C. Knight:
Future Trends of Software Technology and Applications Model-Based Development. 18
Electronic Edition (link) BibTeX
Tsau Young Lin:
Introduction to Panels on E-Security, Granular Computing and Web Intelligence. 21
Electronic Edition (link) BibTeX
Tsau Young Lin:
Granular Computing, Computer Security andWeb Intelligence. 22-23
Electronic Edition (link) BibTeX
Ning Zhong:
How to Make "Web Intelligence (WI) meets Brain Informatics (BI)" Successfully? 24-25
Electronic Edition (link) BibTeX
Shusaku Tsumoto:
Data Structure and Algorithm in Data Mining: Granular Computing View. 26-27
Electronic Edition (link) BibTeX
Ann Miller, John McLean, O. Sami Saydjari, Jeffrey M. Voas:
COMPSAC Panel Session on Trustworthy Computing. 31
Electronic Edition (link) BibTeX
John McLean:
Trustworthy Software: Why we need it, Why we don't have it, How we can get it. 32-33
Electronic Edition (link) BibTeX
Ann Miller:
Trustworthy Computing Needs. 34
Electronic Edition (link) BibTeX
Jeffrey M. Voas:
Reliability and Fault Tolerance in Trust. 35-36
Electronic Edition (link) BibTeX
O. Sami Saydjari:
Risk: A Good System Security Measure. 37-38
Electronic Edition (link) BibTeX
Jane Cleland-Huang:
Just Enough Requirements Traceability. 41-42
Electronic Edition (link) BibTeX
Carl K. Chang:
Software Engineering Education in the New Millennium - A View from Asia. 45
Electronic Edition (link) BibTeX
Dick B. Simmons:
Software Engineering Education in the New Millennium. 46-47
Electronic Edition (link) BibTeX
Monica Adya:
Imparting Global Software Development Experience via an IT Project Management Course: Critical Success Factors. 51-52
Electronic Edition (link) BibTeX
Umesh Bellur:
An Academic Perspective on Globalization in the Software Industry. 53-54
Electronic Edition (link) BibTeX
Venu Vasudevan:
Global Software Enterpreneurship. 55-56
Electronic Edition (link) BibTeX
Rajiv Ramnath:
Global Software Development for the Enterprise. 57-58
Electronic Edition (link) BibTeX
Sheikh Iqbal Ahamed:
Model for Global Software Engineering Project Life Cycle and How to Use it in Classroom for Preparing Our Students for the Globalization. 59-60
Electronic Edition (link) BibTeX

Applications

Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi:
A Performance Engineering Tool for Tiered Software Systems. 63-70
Electronic Edition (link) BibTeX
Amandeep S. Sidhu, Tharam S. Dillon, Farookh Khadeer Hussain:
Accomplishments and Challenges of Protein Ontology. 71-76
Electronic Edition (link) BibTeX
Edward W. Y. Ho, Dickson K. W. Chiu, Patrick C. K. Hung:
Alert Based Monitoring of Stock Trading Systems. 77-86
Electronic Edition (link) BibTeX

Architecture 1

Tae-hyung Kim, Carl K. Chang:
An Aspect-Oriented Approach to Resource Composition in Petri net-based Software Architectural Models. 87-94
Electronic Edition (link) BibTeX
Michel Jaring:
Engineering Reconfigurable Product Families - Architecting the Variability Infrastructure of a Product Family On-Chip. 95-102
Electronic Edition (link) BibTeX
Paskorn Champrasert, Junichi Suzuki:
A Biologically-Inspired Autonomic Architecture for Self-Healing Data Centers. 103-112
Electronic Edition (link) BibTeX

Architecture 2

Federico Balaguer, Thuc S. M. Ho, Ralph E. Johnson:
Detecting Data Races on Framework-Based Applications. 113-120
Electronic Edition (link) BibTeX
Qian Zhang, Jian Wu, Hong Zhu:
Tool Support to Model-based Quality Analysis of Software Architecture. 121-128
Electronic Edition (link) BibTeX
Rabih Zbib, Ashish Jain, Devasis Bassu, Hiralal Agrawal:
Generating Domain Specific Graphical Modeling Editors from Meta Models. 129-138
Electronic Edition (link) BibTeX

Formal Methods/Models 1

Anduo Wang, Fei He, Ming Gu, Xiaoyu Song:
Verifying Java Programs By Theorem Prover HOL. 139-142
Electronic Edition (link) BibTeX
Kuangnan Chang, David Chenho Kung:
Model Checking with Induction. 143-149
Electronic Edition (link) BibTeX
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies:
On the Distribution of Property Violations in Formal Models: An Initial Study. 150-160
Electronic Edition (link) BibTeX

Formal Methods/Models 2

Matthias Book, Volker Gruhn:
Efficient Modeling of Hierarchical Dialog Flows for Multi-ChannelWeb Applications. 161-168
Electronic Edition (link) BibTeX
Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees:
A Formal Approach to Pre-Market Review for Medical Device Software. 169-177
Electronic Edition (link) BibTeX
Shalom N. Rosenfeld, Ioana Rus, Michel Cukier:
Modeling the Symptomatic Fixes Archetype in Enterprise Computer Security. 178-188
Electronic Edition (link) BibTeX

Maintenance

Rivalino Matias, Paulo J. F. Filho:
An Experimental Study on Software Aging and Rejuvenation in Web Servers. 189-196
Electronic Edition (link) BibTeX
Tien N. Nguyen:
A Novel Structure-Oriented Difference Approach for Software Artifacts. 197-204
Electronic Edition (link) BibTeX
Feng Chen, Hongji Yang, Bing Qiao, William Cheng-Chung Chu:
A Formal Model Driven Approach to Dependable Software Evolution. 205-214
Electronic Edition (link) BibTeX

Metrics

Mahmoud O. Elish:
Do Structural Design Patterns Promote Design Stability? 215-220
Electronic Edition (link) BibTeX
Márcio Rodrigo Braz, Silvia Regina Vergilio:
Software Effort Estimation Based on Use Cases. 221-228
Electronic Edition (link) BibTeX
Liu Jing, He Keqing, Ma Yutao, Peng Rong:
Scale Free in Software Metrics. 229-235
Electronic Edition (link) BibTeX
Yaw-Chung Chen, Wen-Yen Chen:
An Agent-Based Metric for Quality of Services over Wireless Networks. 236-246
Electronic Edition (link) BibTeX

Pervasive Computing

Shaya Potter, Jason Nieh:
Highly Reliable Mobile Desktop Computing in Your Pocket. 247-254
Electronic Edition (link) BibTeX
Henry Novianus Palit, Chi-Hung Chi, Lin Liu:
Proxy-Based Pervasive Multimedia Content Delivery. 255-264
Electronic Edition (link) BibTeX

Requirements Design 1

Xuchang Zou, Raffaella Settimi, Jane Cleland-Huang:
Phrasing in Dynamic Requirements Trace Retrieva. 265-272
Electronic Edition (link) BibTeX
Matt Ryan, Sule Simsek, Xiaoqing Frank Liu, Bruce M. McMillin, Ying Cheng:
An Instance-Based Structured Object Oriented Method for Co-analysis/Co-design of Concurrent Embedded Systems. 273-280
Electronic Edition (link) BibTeX
Yan Sun, Xiaoqing Frank Liu, Bruce M. McMillin:
A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co-analysis and Co-design of Real-Time Systems. 281-290
Electronic Edition (link) BibTeX

Requirements Design 2

Jiang Guo:
A Coordination Framework for Software Component Based Development. 291-298
Electronic Edition (link) BibTeX
Nearchos Paspallis, George A. Papadopoulos:
An Approach for Developing Adaptive, Mobile Applications with Separation of Concerns. 299-306
Electronic Edition (link) BibTeX
Katsunori Oyama, Atsushi Takeuchi, Hiroshi Fujimoto:
CAPIS Model Based Software Design Method for Sharing Experts' Thought Processes. 307-316
Electronic Edition (link) BibTeX

Security 1

Dae-Kyoo Kim, Priya Gokhale:
A Pattern-Based Technique for Developing UML Models of Access Control Systems. 317-324
Electronic Edition (link) BibTeX
Mohammad Al-Subaie, Mohammad Zulkernine:
Efficacy of Hidden Markov Models Over Neural Networks in Anomaly Intrusion Detection. 325-332
Electronic Edition (link) BibTeX
Yonggang Zhang, Juergen Rilling, Volker Haarslev:
An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns. 333-342
Electronic Edition (link) BibTeX

Security 2

Ashish Aggarwal, Pankaj Jalote:
Integrating Static and Dynamic Analysis for Detecting Vulnerabilities. 343-350
Electronic Edition (link) BibTeX
Orest Pilskalns, Daniel Williams, Damir Aracic, Anneliese Amschler Andrews:
Security Consistency in UML Designs. 351-358
Electronic Edition (link) BibTeX
Hiroshi Wada, Junichi Suzuki, Katsuya Oba:
A Service-Oriented Design Framework for Secure Network Applications. 359-368
Electronic Edition (link) BibTeX

Testing 1

Koichiro Rinsaka, Kazuya Shibata, Tadashi Dohi:
Proportional Intensity-Based Software Reliability Modeling with Time-Dependent Metrics. 369-376
Electronic Edition (link) BibTeX
João W. Cangussu, Michael Baron:
Automatic Identification of Change Points for the System Testing Process. 377-384
Electronic Edition (link) BibTeX
Jun Yan, Jian Zhang:
Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing. 385-394
Electronic Edition (link) BibTeX

Testing 2

Donglin Liang, Kai Xu:
Testing Scenario Implementation with Behavior Contracts. 395-402
Electronic Edition (link) BibTeX
Man Fai Lau, Ying Liu, Yuen-Tak Yu:
On Detection Conditions of Double Faults Related to Terms in Boolean Expressions. 403-410
Electronic Edition (link) BibTeX
Dennis Jeffrey, Neelam Gupta:
Test Case Prioritization Using Relevant Slices. 411-420
Electronic Edition (link) BibTeX

Testing 3

Gabriela Jacques-Silva, Roberto Jung Drebes, Júlio Gerchman, Joana Matos Fonseca da Trindade, Taisy Silva Weber, Ingrid Jansch-Pôrto:
A Network-Level Distributed Fault Injector for Experimental Validation of Dependable Distributed Systems. 421-428
Electronic Edition (link) BibTeX
W. K. Chan, S. C. Cheung, Jeffrey C. F. Ho, T. H. Tse:
Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering. 429-438
Electronic Edition (link) BibTeX

Testing 4

Jonatan Alava, Tariq M. King, Peter J. Clarke:
Automatic Validation of Java Page Flows Using Model-Based Coverage Criteria. 439-446
Electronic Edition (link) BibTeX
Bei-Bei Yin, Yan Shi, Chenggang Bai, Kai-Yuan Cai:
A Case Study for Invalidating the Markovian Property of GUI Software Structural Profile. 447-454
Electronic Edition (link) BibTeX
Jerry Gao, Deepa Gopinathan, Quan Mai, Jingsha He:
A Systematic Regression Testing Method and Tool For Software Components. 455-466
Electronic Edition (link) BibTeX

Testing 6

Anton Michlmayr, Pascal Fenkam, Schahram Dustdar:
Architecting a Testing Framework for Publish/Subscribe Applications. 467-474
Electronic Edition (link) BibTeX
Johannes Mayer, Ralph Guderlei:
An Empirical Study on the Selection of Good Metamorphic Relations. 475-484
Electronic Edition (link) BibTeX
Kwok Ping Chan, Tsong Yueh Chen, Dave Towey:
Forgetting Test Cases. 485-494
Electronic Edition (link) BibTeX

Web Service 1

Swapna S. Gokhale, Jijun Lu:
Performance and Availability Analysis of an E-Commerce Site. 495-502
Electronic Edition (link) BibTeX
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao, Luping Zhu:
Automated Agent Synthesis for Situation Awareness in Service-Based Systems. 503-512
Electronic Edition (link) BibTeX

Web Service 2

Zhi Jin, Lin Liu:
Web Service Retrieval: An Approach Based on Context Ontology. 513-520
Electronic Edition (link) BibTeX
Yi Deng, Seyed Masoud Sadjadi, Peter J. Clarke, Chi Zhang, Vagelis Hristidis, Raju Rangaswami, Nagarajan Prabakar:
A Communication Virtual Machine. 521-531
Electronic Edition (link) BibTeX
Chi-Hung Chi, Lin Liu, LuWei Zhang:
Quantitative Analysis on the Cacheability Factors of Web Objects. 532-538
Electronic Edition (link) BibTeX