compsac 2000

24th Annual International Computer Software and Applications Conference (COMPSAC 2000)

• 장소·일정: Taipei, Taiwan, Oct 25–27, 2000
• 논문: 102편 (IEEE Xplore 98편, 무료 사본 1편)

Plenary Panel: e-Commerce

• Global Leadership in C-Commerce — S. Chen

Software Engineering Education

• Methodological Contributions to Professional Education and Training — G. Ruhe
• Quality Issues in System Engineering Affecting Virtual Distance Learning Systems — E. Cloete
• An Education Class on Design and Implementation of an Information System in a University and Its Evaluation — A. Hazeyama
• Knowledge, Professionalism and Free Movement of Labor (Visions of the Software Engineering Future) — J. B. Thompson

Web Based System Design

• Modeling Web Navigation by Statechart — K. R. P. H. Leung, L. C. K. Hui, S. M. Yiu and R. W. M. Tang
• LRU-SP: A Size-Adjusted and Popularity-Aware LRU Replacement Algorithm for Web Caching — K. Cheng and Y. Kambayashi
• A Web-Based Parallel PDE Solver Generation System for Distributed Memory Computing Environments — C.-J. Lee and Y.-C. Chung
• Design and Implementation of a Web-Based Bulletin System for Official Documents — H. C. Hong and Y. C. Chen

New Approaches in IT Management

• Sentient Map and Its Application to e-Learning — S.-K. Chang
• Portfolio Management: A New Approach for Managing IT Assets — R. Paul

Electronic Commerce

• TTP: Secure ACID Transfer Protocol for Electronic Ticket between Personal Tamper-Proof Devices — K. Kuramitsu, T. Murakami, H. Matsuda and K. Sakamura
• PENS: A Predictive Event Notification System for e-Commerce Environment — J.-J. Jeng and Y. Drissi
• Using Pattern-Join and Purchase-Combination for Mining Web Transaction Patterns in an Electronic Commerce Environment — C.-H. Yun and M.-S. Chen
• Transforming Legacy Energy Management System (EMS) Modules into Reusable Components: A Case Study — Q. Zhao, H. In, X. Wu and G. Huang

Secure, Reliable System Design 1

• Security Enhancement for the "Simple Authentication Key Agreement Algorithm" — I.-C. Lin, C.-C. Chang and M.-S. Hwang
• Firewall Security: Policies, Testing and Performance Evaluation — M. R. Lyu and L. K. Y. Lau
• Chinese Wall Security Model and Conflict Analysis — T. Y. Lin

Panel on Network Security

• Network and Web Security and e-Commerce and Other Applications — B. Thuraisingham · Scholar 검색
• Protecting XML Documents: Position Paper — E. Bertino · Scholar 검색

Software Agents

• FACL: A Form-Based Agent Communication Language for Enduser-Initiative Agent-Based Application Development — T. Chusho and K. Fujiwara
• Affinity-Based Probabilistic Reasoning and Document Clustering on the WWW — M.-L. Shyu, S.-C. Chen and C.-M. Shu
• Towards Building a Smarter Domain Knowledge Recovery Assistant — Y. Li, H. Yang and W. Chu
• Network Management with Intelligent Trader — S. Matsumoto and M. Amamiya

Industry Applications

• Software Process Disturbances — T.-M. Jiang and M. Coyner
• Internet Procurement of Formosa Plastics — J. L. Tai and R. M. Yang
• Understanding Data Mining and applying it to Command, Control, Communications and Intelligence Environments — B. M. Thuraisingham and M. G. Ceruti
• Identifying Key Attributes of Projects that Affect the Field Quality of Communication Software — N. Kikuchi, O. Mizuno and T. Kikuno
• A National Clearinghouse Service for B2B Exchanges in the Telecommunications Industry — M. Moghadam, C.-M. Chen, T. Lin and A. Umar
• Reengineering Legacy Systems Using Web — R. Agarwal, S. Nayak and S. Mishra
• Mining the Web for Knowledge with Sub-Optimal Mining Algorithm — S. H. Rubin, M. G. Ceruti and L. C. Shen
• A Framework for WWW Query Processing — B. H. Wu

Graphic Pattern Recognition

• A Practical Method for Watermarking Java Programs — A. Monden, H. Iida, K.-I. Matsumoto, K. Inoue and K. Torii · 무료 사본 · naist.repo.nii.ac.jp
• A Proof of Copyright Ownership Using Moment-Preserving — C.-C. Chang, K.-F. Hwang and Y. Lin
• Fuzzy Data Recognition by Polynomial Bidirectional Heteroassociator — C.-F. Tsai
• Tree Indexing for Efficient Search of Similar Documents — C.-M. Chen and D.-R. Liu

Object Oriented Design 1

• Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach — X. He
• ConC++: A Concurrent C++ — B. Li, B. Xu, H. Yang and W. C.-C. Chu
• Development of XML-Based Software and Service Commerce Language XSCL and Javabeans Player — M. Aoyama, T. Saiki and N. Matsumoto
• Designing An FSM Architectural Framework for Service-Based Applications — J.-J. Jeng and W.-C. Tsai

Multimedia System Design 1

• Selection of Melody Lines for Music Databases — M. Tang, C. L. Yip and B. Kao
• A Visual Authoring System for Animated Multimedia Homepage — S.-F. Chuang, C.-S. Koong, J.-S. Tyan and D.-J. Chen
• A Component-Based Visual Scenario Construction Language for Electronic Book — C.-S. Koong, J.-S. Tyan, S.-F. Chuang and D.-J. Chen
• The Design and Implementation of a Virtual Conference System — T. K. Shih, J.-Y. Huang, J. C. Hung, T.-H. Wang and W.-C. Pai

Panel on Creating Dependable Software

• An Integrated Solution for Creating Dependable Software — W. E. Wong
• Distributed System Resource Management Infrastructure for Information Quality Assurance — R. Paul
• Inserting Software Fault Measurement Techniques into Development Efforts — A. P. Nikora
• A Phase-Based Approach to Creating Highly Reliable Software — M. R. Lyu

Panel on Virtual University

• Challenges for Virtual Universities — E. Cloete
• Criteria of Virtual University Operation — T. K. Shih
• A Corporate Insider's View About Virtual Universities — M. Chen
• Global Virtual University: An Experiment Between the University of North Carolina at Wilmington and the Digital Communities of Japan — H. E. Thompson

Software Engineering Intelligent Agents

• Designing an Efficient Fuzzy classifier Using an Intelligent Genetic Algorithm — S.-Y. Ho, T.-K. Chen and S.-J. Ho
• Plan Tracking Knowledge Base — D. B. Simmons and C.-S. Wu
• Software Project Planning Associate (SPPA): A Knowledge-Based Approach for Dynamic Software Project Planning and Tracking — C.-S. Wu and D. B. Simmons
• Automating Scenario-Driven Structured Requirements Engineering — H. Zhu and L. Jin

Real Time Applications

• Online Non-Stop Software Update Using Replicated Execution Blocks — K.-F. Ssu and H. C. Jiau
• Fast Link Layer and Intra-Domain Handoffs for Mobil Internet — J.-C. Chen and P. Agrawal
• A Visual Supporting Method for Sequence Controller Programming — Y. Shin and A. Ohnishi
• A New Framework for Testing Real-Time Software — J.-C. Lin and I. Ho

Panel: Is the Harmonization of Professional Standards for Software Engineers Feasible? Or Even Welcome?

• Is the Harmonization of Professional Standards for Software Engineers Feasible? Or Even Welcome? — J. B. Thompson
• Towards Harmonized Professional Standards for Software Engineers: Constraints, Conflicts, and Concessions — T. H. Tse

Component Based Design 1

• Supporting the Partitioning of Distributed Systems with Function-Class Decomposition — J.. L. Huang and C.. K. Chang
• Reliable Transaction Design Using MTS — I.-C. Yoon, H.-H. Kim, C. Youn and D.-H. Bae
• Component-Based Architecture for Simulation of Transmission Systems — J. K. Pollard
• Integration in Component-Based Software Development Using Design Patterns — S. S. Yau and N. Dong

Multimedia Performance Engineering

• Performance Enhancement of Web-Based Push Transmitter with Channel Scheduling — H. Mei, C.-H. Chang and W.-H. Tseng
• Enlarged-Maximum-Scannable-Groups for Real-Time Disk Scheduling in a Multimedia System — H.-P. Chang, R.-I. Chang, W.-K. Shih and R.-C. Chang
• Reducing Network Traffic Using Two-layered Cache Servers for Continuous Media Data on the Internet — Y. W. Park, K. H. Baek and K. D. Chung
• A New Mesh-Based Temporal-Spatial Segmentation for Image Sequence — C.-M. Kuo, C.-H. Hsieh, Y.-R. Huang and Z. Sun-Lon

Component Based Design 2

• Monitoring Software Components and Component-Based Software — J. Gao, E. Y. Zhu, S. Shim and L. Chang
• Dependability of Complex Software Systems With Component Upgrading — J. J. Li, D. B. Mulcare and W. E. Wong
• Supporting Tool for Assembling Software Specification & Design Methods — M. Saeki, M. Tsuchida and K. Nishiue
• Distributed Component Hub for Reusable Software Components Management — J. X. Ci and W.-T. Tsai

Secure, Reliable System Design 2

• Defect-Based Reliability Analysis for Mission-Critical Software — R. Paul, F. Bastani, I.-L. Yen and V. U. B. Challagulla
• Improvement of Authenticated Encryption Scheme with (t, n) Shared Verification — J.-Z. Lu and H. Y. Chen
• Detecting Dealer Cheating in Secret Sharing Systems — C.-C. Chang and C.-W. Chan
• Effort-Index-Based Software Reliability Growth Models and Performance Assessment — C.-Y. Huang, S.-Y. Kuo and M. R. Lyu

Panel on Data Mining and Web Information Systems

• Using Rough Sets to Build-Up Web-Based One to One Customer Services — I- J. Chiang and T. Y. Lin
• Web for Data Mining Applications — B. Liu, Y. Ma and C. K. Wong · Scholar 검색
• Problems with Mining Medical Data — S. Tsumoto
• Web Intelligence (WI) — N. Zhong, J. Liu, Y. Y. Yao and S. Ohsuga · Scholar 검색

Java Internet Technologies

• Presentation Layer Framework of Web Application Systems with Server-Side Java Technology — A. Saimi, T. Syomura, H. Suganuma and I. Ishida
• Interoperability with Distributed Objects through Java Wrapper — N. Cheng, V. Berzins, L. Luqi and S. Bhattacharya
• Dependence Analysis of Java Bytecode — J. Zhao
• Applying Reflective Middleware Techniques to Optimize a QoS-Enabled CORBA Component Model Implementation — N. Wang, K. Parameswaran, M. Kircher and D. C. Schmidt

Verification and Metrics

• Towards the Verification of Scenarios with Time Petri-Nets — J. Lee, J.-I. Pan, J.-Y. Kuo, Y.-Y. Fanjiang and S. Yang
• Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems — F. Wang
• Concurrent Embedded Real-Time Software Verification — P.-A. Hsiung
• Learning How to Improve Effort Estimation in Small Software Development Companies — J. Moses and J. Clifford
• Successful Software Applications: Can They Be Evaluated? — C. E. Hillam, H. M. Edwards and C. L. Young

Object Oriented Design 2

• An Object-Oriented Web Test Model for Testing Web Applications — D. C. Kung, C.-H. Liu and P. Hsia
• Function Point Measurement for Object-Oriented Requirements Specification — S. Kusumoto, K. Inoue, T. Kasimoto, A. Suzuki, K. Yuura and M. Tsuda
• Time-Triggered Message-Triggered Object Modeling of a Distributed Real-Time Control Application for Its Real-Time Simulation — M. H. Kim, J.-G. Kim, K. H. Kim, M.-S. Lee and S.-Y. Park
• A Methodology to Extract Objects from Procedural Software — M.-K. Lee and S.-O. Park

Multimedia System Design 2

• Practical Key Distribution Schemes for Channel Protection — Y.-L. Huang, S.-P. W. Shieh and J.-C. Wang
• Popularity-Independent Multimedia-On-Demand Server Model — M. A. Mikki, K. Yim and G. Jung
• The Multimedia Maintenance Interface (MuMMI) System — R. McCrindle and S. Doggett

Algorithms

• A Cost-Based Replacement Algorithm for Object Buffers — C.-M. Park, K.-Y. Whang, J.-J. Lee and I.-Y. Song
• 2D-CHI: A Tunable Two-Dimensional Class Hierarchy Index for Object-Oriented Databases — J.-H. Lee, K.-Y. Whang, W.-S. Han, W.-S. Cho and I.-Y. Song
• Analyzing Reconfigurable Algorithms for Managing Replicated Data with Strict Consistency Requirements: A Case Study — D.-C. Wang, I.-R. Chen and C.-P. Chu
• GAPS: A Genetic Programming System — M. D. Kramer and D. Zhang