compsac 1997

21st Annual International Computer Software and Applications Conference (COMPSAC 1997)

• 장소·일정: Washington, D.C., USA, Aug 11–15, 1997
• 논문: 127편 (IEEE Xplore 125편)

Software Architecture I

• A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems — M. Shaw and P. Clements
• Classifying Architectural Elements as a Foundation for Mechanism Matching — R. Kazman, P. Clements, L. Bass and G. Abowd
• The Architectural Style of Component Programming — H. Gall, M. Jazayeri, R. Klöesch and G. Trausmuth

Database Algorithms and Applications

• A Parallel Hash-Based Join Algorithm for a Networked Cluster of Multiprocessor Nodes — Y. Jiang and A. Makinouchi
• A Temporal Behavioral Object Model for Object-Oriented Databases — J.-C. Dai, G.-D. Chen, C.-C. Liu and B.-J. Liu
• Object-Oriented Evolutionary Database Design for Software Metrics Data — R. Paul, T. L. Kunii, Y. Shinagawa and A. Ghafoor
• On the Complexity of the Minimum and Maximum Global Snapshot Problems — L. B. Chen and I. C. Wu

Panel: Software Technologies to Support Distributed Collaboration

• Research directions in collaborative applications — P. Dewan
• Distributed Object Technologies for Collaborative Computing — R. P. Sinn

Software Architecture II

• Object-Based Nonlinear Undo Model — C. Zhou and A. Imamiya
• Architecture and Reengineering — N. R. Howes
• Translating Hierarchical Predicate Transition Nets to Cc++ Program Skeletons — X. He and W. Yao
• Replication of Multimedia Data Using Master-Slave Architecture — S. Sheikh and R. Ganesan

Performance Evaluation

• The Ceiling Adjustment Scheme for Improving the Concurrency of Real-Time Systems with Mixed Workloads — J.-Y. Kim, S. H. Son and K. Koh
• On the Effect of Recovery Block Scheme on System Performance — O. A. Abulnaja, S. H. Hosseini and K. Vairavan
• Efficient Method for kr-->r and r-->kr Array Redistribution — Y.-C. Chung and C.-H. Hsu
• Event Filtering Framework: Key Criteria and Design Trade-Offs — E. S. Al-Shaer

Panel: Internet Interactive Learning

• Technologies Addressing Pedagogic Issues in Internet Interactive Learning — I. F. Chang
• Internet interactive authoring, teach and learning - A breakthrough for education — I. F. Chang

Object-Oriented Techniques I

• SOPView+: an Object Browser Which Supports Navigating Database by Changing Base Object — S.-W. Chang and H.-J. Kim
• Enhancing Extensibility of the Design Rule Checker of an EDA Tool by Object-Oriented Modeling — A. A. Khwaja
• Task.o Object Modeling Approach for Robot Workcell Programming — G.-T. Kim, S. D. Cha and D.-H. Bae
• A Fault Tolerant Object Transaction Service in CORBA — D. Liang, W.-T. Lo, Y. M. Kao, S. M. Yuan and Y.-S. Chang
• Interconnection Schemes for RTO.k Objects in Loosely Coupled Real-Time Distributed Computer Systems — K. H. Kim and C. Subbaraman

Performance Modeling

• A New Performance Analysis Model of the Local Switching System — T.-C. Ho and S.-J. Kao
• Performance Characterization of Forwarding Strategies in Personal Communication Networks — I.-R. Chen, T.-M. Chen and C. Le
• Improving I/O Response Times via Prefetching and Storage System Reorganization — C. L. Chee, H. Lu, H. Tang and C. V. Ramamoorthy
• Faster Simulation of Timed Petri Nets via Distributed Simulation — D. Kumar, A. Kohli and V. Narayanswamy
• Implementation and Performance Assessment of Multilevel Data Structures — I.-L. Yen and K. Karun

Panel: Architecture Evaluation

• Software Architecture Evaluation — M. R. Barbacci and R. Kazman
• A Defect Prevention Approach to Architecture-Based Testing — N. S. Eickelmann and D. J. Richardson
• Empirical Experiences in Analyzing Software Architecture Sensitivity — C.-H. Lung
• Performance Engineering for Software Architectures — C. U. Smith

Panel: Future Trends and Demands for Software Technology

• Issues in Software Component Technology: Position Statement — M. Jazayeri
• Trends in Software Technology — W.-T. Tsai

Software Architecture and Modeling

• Model-Integrated System Development: Models, Architecture, and Process — G. Karsai, A. Misra, J. Sztipanovits, A. Ledeczi and M. Moore
• Model-Based Architecture for the Intranet — H. Hara, T. Matsutsuka, N. Kanaya, T. Ookubo and S. Uehara
• Abstraction, Concurrency, and Communal Computing in SequenceL — D. E. Cooke
• Partial Instantiation Theorem Proving for Distributed Resource Location — K. Vanderveen and C. V. Ramamoorthy

Database Applications

• A Schema Integration Architecture for Multidatabase Systems — G. Wang, G. Yu, B. Zhang and H. Zheng
• Composition Can Be Faster Than Join — Y.-N. Lien and C.-L. Hu
• Using a Hierarchical Thesaurus for Classifying and Searching Software Libraries — H.-C. Liao, M.-F. Chen, F.-J. Wang and J.-C. Dai
• EH - Extendible Hashing in a Distributed Environment — V. Hilford, F. B. Bastani and B. Cukic

Panel: Current and Future Software Directions in Funding Software Research

• Compunication: From Concept to Practice — W. Gao

Object-Oriented Techniques II

• High-Order Object Model Based Software Analysis — X. F. Liu and H. Lin
• A Parallelizing Compiler by Object Oriented Design — Y. Omori, K. Joe and A. Fukuda
• A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development — X. Jia
• Management of Object Oriented Development based on Ranked Use Cases — A. K. Onoma, M. Komuro, H. Suganuma, A. Kumeta and T. Syomura
• Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents — T. Tsuchiya, H. Terada, S. Kusumoto, T. Kikuno and E. M. Kim

Software Development and Design

• On the Concurrent Behaviour of SCR Specifications — H. S. Hong, S. D. Cha and Y. R. Kwon
• A Formal Approach to Software Components Classification and Retrieval — C.-T. Chang, W. C. Chu, C.-S. Liu and H. Yang
• Trends and Developments in CASE and Structured Methods: A European Perspective — C. Hardy, H. Edwards and J. B. Thompson
• Distributed and Concurrent Development Environment via Sharing Design Information — K. Nakamura, Y. Fujii, Y. Kiyokane, M. Nakamura, K. Hinenoya, Y. H. Peck and S. Choon-Lian

Panel: Year 2000 Problem

• Year 2000 Problem: A "Paper Tiger" or A "Real Tiger"? — H. Yang, R. Martin, T. Sano and W.-T. Tsai
• Year 2000 Compliance: A Discussion on Compliance Certification — R. A. Martin
• Re-Engineering solutions for Y2K challenge — T. Sano
• Application of Data-Centered Approach to Year 2000 Problem — W.-T. Tsai

Multimedia Technology

• Optimal Scheduling for Normal and Interactive Operations in Parallel Video Servers — M.-Y. Wu, W. Shu and K. Samuthiram
• Empirical Evaluation of Data Allocation Algorithms for Distributed Multimedia Database Systems — K. Karlapalem, I. Ahmad, S.-K. So and Y.-K. Kwok
• A Multimedia Information System for Document Authoring, Indexing and Presentation — Z. K. Li, Y. F. Day, H. Fahmi and A. Ghafoor
• Active Gateway: A Facility for Video Conferencing Traffic Control — S. Li and B. Bhargava
• On QOS Mapping in Multimedia Networks — J.-F. Huard and A. A. Lazar

Software Development Techniques

• Structured Document Framework for Design Patterns Based on SGML — M. Ohtsuki, J. Segawa, N. Yoshida and A. Makinouchi
• Autonomous Decentralized Software Structure for Integration of Information and Control Systems — T. Aizono, K. Kawano, H. Wataya and K. Mori
• The Use of Industrial-Strength Formal Methods — J. P. Bowen and M. G. Hinchey
• Compiling Process Algebraic Specifications Into Timed Automata — C. K. Chang, Y.-T. Tseng and U. Buy
• Patterns in the Analysis, Design and Implementation of Frameworks — E. E. Jacobsen, B.B. Kristensen and P. Nowack

Distributed and Concurrent Database Management Systems

• Farming Methodology for TMN Platform Independent Class Repository Design — S.-H. Park, S.-H. Park, S.-Ho. Park and D.-K. Baik
• An Optimization of Disjunctive Queries: Union-Pushdown — J.-Y. Chang and S.-G. Lee
• DRDB: A Distributed Real-Time Database Server for High-Assurance Time-Critical Applications — S. H. Son, R. C. Beckinger and D. A. Baker
• Concurrent Access to Point Data — V. Ng and T. Kameda

Multimedia Applications

• Design and Implementation of a Real-Time Multimedia Presentation System Using RTP — S. Palacharla, A. Karmouch and S. A. Mahmoud
• Multi-Pass Transmission Policy: An Effective Method of Transmitting Large Multimedia Objects in the Wide-Area Network — S.-Y. Wang and B. Bhargava
• Storage System and the Multimedia Challenges — R. R. Yehia and I. Mahgoub

Reuse and Re-Engineering

• Scalable Templates for Specification Reuse — C.-C. Chiang and J. E. Urban
• Cross-Platform Software Reuse by Functional Integration Approach — J.-M. Lin
• Formal Methods for the Re-Engineering of Computing Systems: A Comparison — X. Liu, H. Yang and H. Zedan

Mini-Tutorial

• The San Francisco Project: An Object-Oriented Framework Approach to Building Business Applications — K. Bohrer, V. Johnson, A. Nilsson and B. Rubin

Software Reuse and Re-Engineering

• A Method for Structural Compatibility in Software Reuse Using Requirements Specification — K. Periyasamy and J. Chidambaram
• Statistical Algorithms and Software for Genomics — T. Anantharaman and B. Mishra
• A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning — S. J. H. Yang, W. C. Chu, J. Lee and W. T. Huang
• Techniques for Addressing the Year 2000 Transition — C. Liang, B. Phelps and J. Tan

Software Processes and Modeling

• Domain Analysis and Modeling for Concurrent Engineering in Plant Monitoring and Operations — S. Kumagai, S. Kishima and K. Itoh
• Agile Software Process Model — M. Aoyama
• Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software — C. Sashidhar and S. M. Shatz
• Process Modelling to Support the Unified Modelling Language — K.-J. Yang and R. Pooley

Network Applications

• An Overview of the Internet File System — H. C.-H. Rao, M.-F. Chen and F.-J. Wang
• Implementation Considerations for Mobile IP — Y.-R. Leu and C.-L. Cheng
• Two-Level Web Agent for Limited Accessibility — P.-J. Yeh, S.-M. Yuan and W. Lo
• An Adaptive Mobile Wireless Handover — R. N. Smith, B. Mahesh and S. Bindiganavale

Panel: Software Reusability

• Software Asset Management and Domain Engineering — S. Subramanian
• Software Reuse: On Critical Issues of Hinagata-Based Software Development — M. J. Matsumoto · Scholar 검색

Software Testing and Reliability

• Systems Testing and Statistical Test Data Coverage — W. E. Howden
• Building Software Recovery Assertions from a Fault Injection-Based Propagation Analysis — J. Voas
• Natural Optimization Algorithms for Optimal Regression Testing — N. Mansour and K. El-Fakih
• Failure and Fault Analysis for Software Debugging — R. A. DeMillo, H. Pant and E. H. Spafford
• Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application — W. E. Wong, J. R. Horgan, A. P. Mathur and A. Pasquini

Software Development Techniques

• Workflow-Oriented Prototyping for the Development of Interactive Software — C. Stary, N. Vidakis, S. Mohacsi and M. Nagelholz
• A Graphical Environment for Change Detection in Structured Documents — G. J. S. Chang, G. Patel, L. Relihan and J. T. L. Wang
• A Study on the Requirements Review Process in Software Development: Problems and Solutions — S. H. Ow and M. H. Yaacob
• KAPSEL - Programming within Boundaries — R. K. Ege
• Feature-Oriented Software Structuring — J. K. Müller

Communications Networks and Applications

• Communication Middleware and Software for QoS Control in Distributed Real-Time Environments — C.-J. Hou, C.-C. Han and Y.-M. Chen
• Estimating the Size of an Estelle Specification for a Communication Protocol — S. J. Huang and R. Lai
• A Content-Based Search Engine on Medical Images for Telemedicine — D. Cheung, C.-H. Lee and V. Ng
• A Framework for Application Adaptation in Mobile Computing Environments — V. Bharghavan and V. Gupta
• Strategies for Implementing Distributed Query Algorithms Over High-Speed, Bandwidth-on-Demand, Wide Area Networks — W. Perrizo, Z. Zhang and S. Krebsbach

Panel: Metrics: Promise vs. Implementation

• Social Issues in the Collection and Use of Software Metric Data Position Paper: Metrics: Promise vs. Implementation — J. M. Drake
• Army Software Metrics Training — F. M. Hall
• Software Measurement in the U.S. Army — D. S. Lucero
• The Internal Revenue Service Function Point Analysis Program: A Brief — C. B. Tichenor

Software Testing

• Developing an Integrated Testing Environment Using the World Wide Web Technology — J. Gao, C. Chen, Y. Toyoshima and D. Leung
• Test Order for Inter-Class Integration Testing of Object-Oriented Software — K.-C. Tai and F. J. Daniels
• Two Test Data Selection Strategies Towards Testing of Boolean Specifications — T. Y. Chen and M. F. Lau
• Fault Propagation Analysis Based Variable Length Checkpoint Placement for Fault-Tolerant Parallel and Distributed Systems — V. Shah and S. Bhattacharya
• Regression Containment through Source Change Isolation — B. Ness and V. Ngo

Software Specifications and Maintenance

• Visual Software Requirements Definition Environment — A. Ohnishi and N. Tokuda
• Program Understanding Needs During Corrective Maintenance of Large Scale Software — A. von Mayrhauser and A. M. Vans
• Efficient Implementation Strategies for the DRB Approach in Fault-Tolerant Hypercubes — T. Williams, J. Tan and C. Liang
• Formal Semantics of Some Functional Constructs of the Software Requirements Definition Language NDRDL — L. Dong and J. Xu
• Towards a Formalization of UML Class Structures in Z — M. Shroff and R. B. France

Internet and Applications

• IAuth: An Authentication System for Internet Applications — S.-S. Chew, K.-L. Ng and C.-L. Chee
• Java Communication Interfaces for Control Systems — Z. Huang, S. Zhou and S. Tu · Scholar 검색
• Defining the Software Process for Intranet Distribution — J. R. Bindas
• A Semiformal Correctness Proof of a Network Broadcast Algorithm — D. Kumar and S. S. Iyengar

Panel: Behind Every Successful Project is a Winning Support Environment

• Behind Every Successful Project is a Winning Support Environment — W. P. Yee
• Can a Software Project Be Like Einstein? — T. Yamaura