compsac 2003

27th Annual International Computer Software and Applications Conference (COMPSAC 2003)

• 장소·일정: Dallas, Texas, USA, Nov 3–6, 2003
• 논문: 106편 (IEEE Xplore 101편, 무료 사본 6편)

Pervasive and Ubiquitous Systems

• Mining Sequential Patterns Using Graph Search Techniques — Y.-F. Huang and S.-Y. Lin
• A Middleware Service for Secure Group Communication in Mobile Ad Hoc Networks — S. S. Yau and X. Zhang
• Device State Recovery in Non-Volatile Main Memory Systems — R. Ohmura, N. Yamasaki and Y. Anzai

Panel: Homeland Security's Cyber Component: A Survey of Legal Issues

• Homeland Security's Cyber Component: A Survey of Legal Issues — J. B. Michael, T. C. Wingfield and S. E. Roberts

Software and System Testing (1)

• BINTEST - Binary Search-Based Test Case Generation — S. Beydeda and V. Gruhn
• Automated Metamorphic Testing — A. Gotlieb and B. Botella
• Smart Debugging Software Architectural Design in SDL — W. E. Wong, T. Sugeta, Y. Qi and J. C. Maldonado

Software Reuse and Management

• Lessons Learned from Software Engineering Multi-Agent Systems — D. C. Kung, H. Bhambhani, S. Nwokoro, W. Okasha, R. Kambalakatta and P. Sankuratri
• Application of Tightly Coupled Engineering Team for Development of Test Automation Software - A Real World Experience — A. Pandey, N. Kameli, A. Eapen, C. Miklos, F. Boudigou, I. Sutedjo, M. Paul, V. Vijay and W. Mcdermott
• A Cooperative Framework for Inter-Organizational Workflow System — S.-B. Yan and F.-J. Wang

Middleware Systems

• Context Aware Deployment for Mobile Users — C. Taconet, E. Putrycz and G. Bernard
• Policy-Based Separation of Concerns for Dynamic Code Mobility Management — R. Montanari, G. Tonti and C. Stefanelli
• Semantic-Based Approach to Streaming XML Contents using Xstream — E. Y. C. Wong, A. T. S. Chan and H.-V. Leong

Trustworthy Software Systems

• Automating Checking of Models Built Using a Graphically Based Formal Modelling Language — R. J. Walters
• Techniques and Tools for Automated Safety Analysis & Decision Support for Redundancy Allocation in Automotive Systems — Y. Papadopoulos and C. Grante
• Design and Implementation of a Cache-Conscious Index Manager for the Tachyon, a Main Memory DBMS — K.-T. Lee, I. Jung, C.-Y. Choi, W. Choi and S.-W. Kim

Software Process Management

• Towards Dynamic Process with Variable Structure by Reflection — S. Liu, J. Wei and W. Xu
• Current Trends in the Adoption of the CMMI® Product Suite — D. Zubrow
• A CC-Based Security Engineering Process Evaluation Model — J. Lee, S. Lee, J. Lee and B. Choi

Mobile and High Performance Systems

• An Object-Passing Model for Parallel Programming — J. Al-Jaroodi and N. Mohamed
• Conceptual Modelling of Mobile Object Systems: Language Constructs for Distinguishing Between Mobile and Stationary Subsystems — P. Ahlbrecht, S. Eckstein and K. Neumann
• Data Placement and Query Processing Based on RPE Parallelisms — Y. Yu, G. Wang, G. Yu, G. Wu, J. Hu and N. Tang

Information Security

• A Protection Environment for Administrators of Windows 2000/XP Against Malicious Program Attacks — A. Spalka and M. Winandy
• A Security Characterisation Framework for Trustworthy Component Based Software Systems — K. Khan and J. Han · 무료 사본 · figshare.com
• Exploiting Self-Modification Mechanism for Program Protection — Y. Kanzaki, A. Monden, M. Nakamura and K.-I. Matsumoto · 무료 사본 · naist.repo.nii.ac.jp

Software and System Testing (2)

• Tolerance of Control-Flow Testing Criteria — S. A. Vilkomir, K. Kapoor and J. P. Bowen
• Data-Flow-Based Unit Testing of Aspect-Oriented Programs — J. Zhao
• A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software — H. Y. Chen, Y. X. Sun and T. H. Tse

Plenary Panel: Challenges and Recent Advances in Developing Trustworthy Software-Based Systems

• Challenges and Recent Advances in Developing Trustworthy Software-Based Systems — S. S. Yau · Scholar 검색

Collaborative Systems

• A Multi-Agent Software Environment for Testing Web-Based Applications — Q. Huo, H. Zhu and S. Greenwood
• Mediating Electronic Meetings — J. Zhang, C. K. Chang and J.-Y. Chung
• Scalable Multilateral Communication Technique for Large-Scale Information Systems — K. Ragab, N. Kaji, K. Moriyama and K. Mori

Software Architecture and Framework

• Runtime Software Architecture Based Software Online Evolution — Q. Wang, G. Huang, J. Shen, H. Mei and F. Yang
• The XIS Generative Programming Techniques — A. R. da Silva, G. Lemos, T. Matias and M. Costa
• Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution — T. H. Ng and S. C. Cheung

Requirements Engineering

• A Feature Oriented Approach to Modeling and Reusing Requirements of Software Product Lines — H. Mei, W. Zhang and F. Gu
• A Synergistic Interweaving of Formal and Informal Methods — W. L. Yeung and K. R. P. H. Leung
• Mockup-Driven Fast-prototyping Methodology for Web Requirements Engineering — J. Zhang, C. K. Chang and J.-Y. Chung

Internet and Web-Bases Systems

• Integrating Heterogeneous Web Services with WebXcript — D. K. W. Chiu, D. Kok, A. K. C. Lee and S. C. Cheung
• A Probabilistic Model for Intelligent Web Crawlers — K. Hu and W. S. Wong
• Autonomous Decentralized Database System Reconstruction Technology through Mobile Agent Monitoring and Coordination — C. P. Leguizamo, D. Wang and K. Mori

Software Reengineering (1)

• Incremental Transformation of Procedural Systems to Object Oriented Platforms — Y. Zou and K. Kontogiannis
• Migrating Web Frameworks Using Water Transformations — A. E. Hassan and R. C. Holt
• Bridging Legacy Systems to Model Driven Architecture — B. Qiao, H. Yang, W. C. Chu and B. Xu

Quality Management

• Transforming Quantities Into Qualities in Assessment of Software Systems — G. Canfora, L. Cerulo and L. Troiano
• Information Quality Assessment of a Yellow-Pages Location-Based Service — A. Katasonov and M. Sakkinen
• VDM Over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development — H. Suzumori, H. Kaiya and K. Kaijiri · 무료 사본 · soar-ir.repo.nii.ac.jp

Software Reengineering (2)

• A Reengineering Process for Migrating from an Object-Oriented Legacy System to a Component-based System — E. Lee, B. Lee, W. Shin and C. Wu
• Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System — R. Millham, M. Ward and H. Yang
• Recovering a Business Object Model from Web Applications — G. A. Di Lucca, A. R. Fasolino, P. Tramontana and U. De Carlini

Measurement and Metrics

• Testing the Suitability of Markov Chains as Web Usage Models — Z. Li and J. Tian
• Integrating Practical Software Measurement and the Balanced Scorecard — D. Card
• A Cut-Based Algorithm for Reliability Analysis of Terminal-Pair Network Using OBDD — Y.-R. Chang, H.-Y. Lin, I.-Y. Chen and S.-Y. Kuo

Distributed Systems

• IBHIS: Integration Broker for Heterogeneous Information Sources — I. Kotsiopoulos, J. Keane, M. Turner, P. Layzell and F. Zhu
• Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes — A. T. Tai, K. S. Tso and W. H. Sanders · Scholar 검색
• Implementation of Nonstop Software Update for Client-Server Applications — W.-K. Wei, K.-F. Ssu and H. C. Jiau

Component Based Software Engineering

• A Test-Driven Component Development Framework based on the CORBA Component Model — E. Teiniker, S. Mitterdorfer, L. M. Johnson, C. Kreiner, Z. Kovács and R. Weiss
• Information Use in CBSE Design — S. Owen, D. Budgen and P. Brereton
• Variable Strength Interaction Testing of Components — M. B. Cohen, P. B. Gibbons, W. B. Mugridge, C. J. Colbourn and J. S. Collofello

Network Systems

• An Integrated Approach to Scatternet Traffic Management in Bluetooth Ad Hoc Networks — L. L.-Y. Shek and Y.-K. Kwok · Scholar 검색
• Distributed Garbage Collection by Timeouts and Backward Inquiry — S.-W. Ryu, E. G. Im and B. C. Neuman
• Facilitating Secure Ad Hoc Service Discovery in Public Environments — F. Zhu, M. Mutka and L. Ni

Object-Oriented Development (1)

• Precise Specification to Compound Patterns with ExLePUS — J. K. H. Mak, C. S. T. Choy and D. P. K. Lun
• Scenario Architecture - A Methodology to Build a Global View of OO Software System — Y. E. Tsai, H. C. Jiau and K.-F. Ssu
• A Role-Based Metamodeling Approach to Specifying Design Patterns — D.-K. Kim, R. France, S. Ghosh and E. Song

Enterprise Systems

• A Toolkit for Developing Web-Based Information Systems: Case Studies — T. Bodhuin and M. Tortorella
• Rapid Verification of Embedded Systems Using Patterns — W. T. Tsai, L. Yu, F. Zhu and R. Paul
• Software Documentation-Driven Manufacturing — L. Luqi, X. Liang, L. Zhang and V. Berzins · Scholar 검색

Object-Oriented Development (2)

• Meta Model Approach for Mediation — M. Shiroiwa, T. Miura and I. Shioya
• A Flexible Framework for Replication in Distributed Systems — E. G. Im and B. C. Neuman
• A Graph Grammar Approach to Software Architecture Verification and Transformation — J. Kong, K. Zhang, J. Dong and G. Song

System Reliability (1)

• Sensitivity Analysis of Software Reliability for Component-Based Software Applications — J.-H. Lo, C.-Y. Huang, S.-Y. Kuo and M. R. Lyu
• Effects of Introducing Survival Behaviours into Automated Negotiators — P. Henderson, S. Crouch, R. J. Walters and Q. Ni
• An Architecture of Wireless Web and Dialogue System Convergence for Multimodal Service Interaction Over Converged Networks — F. Liu, J. J. Li, X. Shan and W. Chou · Scholar 검색

System Reliability (2)

• Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification — P. A. Bailes and C. J. M. Kemp
• Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata — S. Yamane · 무료 사본 · kanazawa-u.repo.nii.ac.jp
• An Efficient Defect Estimation Method for Software Defect Curves — C. Bai, K.-Y. Cai and T. Y. Chen · 무료 사본 · figshare.com

Workshop: Workshop on Architectures for Complex Application Integration

• Workshop on Architectures for Complex Application Integration (WACAI 2003) — P. Maheshwari, I. Gorton and A. Liu
• Just What Could Possibly Go Wrong In B2B Integration? — D. Kuo, A. Fekete, P. Greenfield, J. Jang and D. Palmer
• An Experience of Applying Architecture-Based Approach to Build a Component-based Requirements Management Toolset — M. A. Babar
• Enterprise Application Integration using a Component-Based Architecture — P. Maheshwari
• Flexible Fault Tolerance in Configurable Middleware for Embedded Systems — K. Dorow
• Ad Hoc Software Interfacing: Enterprise Application Integration (EAI) when Middleware is Overkill — A. A. Reyes, J. R. Espino, V. Mohan and M. Nadkar
• Next Generation Application Integration: Challenges and New Approaches — I. Gorton, D. Thurman and J. Thomson

Workshop: Web and Security Informatics Workshop

• Intelligent Web Topics Search Using Early Detection and Data Analysis — C.-C. Lee and Y. Yang
• Discovering Cyber Communities from the WWW — X. Hu, J. Han and N. Cercone
• Internet-Based Decision Support: Towards e-Hospital — S. Tsumoto, S. Hirano and E. Hanada
• A Framework for Web-Based Research Support Systems — Y. Y. Yao
• Intelligent Mobile Agents for Efficient and Inexpensive e-Shopping — L. Lu and Y.-Q. Zhang
• Managing Security Policy in a Large Distributed Web Services Environment — S. Chang, Q. Chen and M. Hsu
• Information Flows in e-Government — T. Y. Lin
• Measured Responses to Cyber Attacks Using Schmitt Analysis: A Case Study of Attack Scenarios for a Software-Intensive System — J. B. Michael, T. C. Wingfield and D. Wijesekera
• A Methodology for Hiding Knowledge in XML Document Collections — T. Johnsten, R. B. Sweeney and V. V. Raghavan
• Security Issues for the Semantic Web — B. Thuraisingham
• Situation-Aware Personalized Information Retrieval for Mobile Internet — S. S. Yau, H. Liu, D. Huang and Y. Yao

Workshop: Web Based Systems and Applications

• A Multiple-Tier Model Manipulation Architecture for Enterprise Decision Making — Z. Liang, S. Li, H. Liao, H. Kang, Q. Duan, H. Zhou and H. Yang
• Regression Testing for Web Applications Based on Slicing — L. Xu, B. Xu, Z. Chen, J. Jiang and H. Chen
• A Supervised Visual Wrapper Generator for Web-Data Extraction — X. Meng, H. Wang, D. Hu and C. Li
• A Dynamic Information Retrieval System for the Web — X. Gao, S. Murugesan and B. Lo
• A Pattern Language Model for Framework Development — L. Wu-dong, H. Y. Ke-qing, X. Hui and J. Yi-xing
• Some Domain Patterns in Web Application Framework — L. Chao, H. Keqing, L. Jie and Y. Shi
• Web-Based Support for Managing Large Collections of Software Artefacts — C. Boldyreff, J. Brittle, C. Korhonen, P. Kyaw, J. Lavery, D. Nutter and S. Rank · 무료 사본 · repository.uel.ac.uk
• MDA-Based Development of e-Learning System — H. Wang and D. Zhang
• PeAgent - A Mobile Agent System to Support Secure Internet and Web Applications — Q. Ma, W. Hao, W. Li, M. Tu and I.-L. Yen
• Toward an Easy Programming Environment for Implementing Mobile Applications: A Fleet Application Case Study using SyD Middleware — S. K. Prasad, M. Weeks, Y. Zhang, A. Zelikovsky, S. Belkasim, R. Sunderraman and V. Madisetti
• A Hierarchical Strategy for Testing Web-Based Applications and Ensuring Their Reliability — J. Tian, L. Ma, Z. Li and A. G. Koru