Proceedings of International Conference on Distributed Systems, Software Engineering, and Database Systems

Size: px

Start display at page:

Download "Proceedings of International Conference on Distributed Systems, Software Engineering, and Database Systems"

Clement Hamilton
5 years ago
Views:

PROCEEDINGS Proceedings of International Conference on Distributed Systems, Software Engineering, and Database Systems Copyright 1996 by National Sun Yat-Sen University All rights reserved.

1 PROCEEDINGS Proceedings of International Conference on Distributed Systems, Software Engineering, and Database Systems Copyright 1996 by National Sun Yat-Sen University All rights reserved. Abstracting is permitted with credit to the source. Published by National Sun Yat-Sen University Kaohsiung, Taiwan, Republic of China Additional copies may be obtained from Institute of Computer and Information Engineering National Sun Yat-Sen University Kaohsiung, Taiwan, Republic of China

2 International Conference on Distributed System, Software Engineering, and Database Systems Table of Contents Session DS1: Heterogeneous Database 1. Managing Global Constraints in Multidatabase Systems 1 Arbee L. P. Chen and Chih-Shyang Chang, National Tsing Hua University, ROC. 2. Querying and Browsing the-resources in Internet 9 Arbee L. P. Chen, Yi-Hung Wu and Yen-Huan Chen, National Tsing Hua University, 3. On Efficient Execution of Aggregate Functions for Resolving Data Inconsistency in Multidatabases 17 Yungho Leu, Chunli Yang and Shyueming Tang, National Taiwan Institute of Technology, 4. Using Traders for Loosely Integrated Heterogeneous Database System 25 Wanlei Zhou, Philip Hepner and Xidong Wang, Deakin University, Australia Session DS2: Multimedia Database 1. An Efficient Access Method for Spatial Databases 33 Anthony J. T. Lee, National Taiwan University, R.O.C 2. A Generalized Non-redundant 2D String Representation for Symbolic Pictures 41 Chin-Chen Chang and Tian-Fu Lee, National Chung Cheng University, 3. Spatial Reasoning and Similarity Retrieval for Pictorial Databases Indexed by RCOS-Strings with Shape Approximation 46 P. W. Huang, National Chung Hsing University, 4. Multimedia Database Modeling with Z Notations 52 Timothy K. Shih, Huan-Chao Keh and Chao T. Fang-Tsou, Tamkang University, Session DS3(A): Object Databases 1. An Efficient Query Processing Algorithm on Object Databases with Multi-valued Attributes 60 Arbee L. P. Chen and Jou-Hui Lin, National Tsing Hua University, 2. A User Interface for an ODMG-93 Compliant Database 68 Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong and Kai-Liang Hou, National Chung Cheng University, 3. Nested Query Processing Techniques in Object-Oriented Databases 76 Jorng-Tzong Horng, Jiunn-Chin Wang, Ji-Tsong Lin and Baw-Jhiune Liu, I

3 National Central University, 4. A Donation-Based Approach to Concurrency Control for Object-Oriented Database Systems 84 Ye-In Chang and Chung-Che Wu, National Sun Yat-Sen University, 5. DOOR = 'Object with Roles' + 'Schema Evolution' 92 E. Lewis Chau, Raymond K. Wong and Frederick H. Lochovsky, Hong Kong University of Science and Technology, Hong Kong Session DS3(B): Mobile Computing 1. Integrating GSM and Internet for Mobile Computing 100 Chien-Chao Tseng, Kuan-Min Chen Tsan-Pin Wang and Ghing-Yu Lin, National Chiao Tung University, 2. Dynamic Resource Scheduling for GSM Data Services 108 Jeu-Yih Jeng, Chi-Wai Lin and Yi-Bing Lin, National Chiao Tung University, 3. Reducing Call-Setup Time for Location Tracking with Distributed HLR and Pointer Forwarding 113 Chien-Chao Tseng, Kuen-Liang Sue and Yi-She Lai, National Chiao Tung University, 4. Modeling and Analysis of Forwarding and Resetting Strategies for Location Management in Mobile Environments 121 Ing-Ray Chen, Tsong-Min Chen and Chiang Lee, National Cheng Kung University, 5. FlyingCloud. A Mobile Agent Service Network 129 Yao-Nan Lien, Yenlin Yin, Tony Chan, Fuhan Liu, Chi-Yung Chen, Chun-Shyan Hwang, Yuli Hwang, Chun-Ing Lee, Shin-Yi Leu, Chin-Hung Chen and Yang- Farn Liu, National Chengchi University, Session DS4: Distributed Database 1. A Basic-Cycle Calculation Technique for Efficient Dynamic Data Redistribution 137 Yeh-Ching Chung, Ching-Sheng Sheu and Sheng-Wen Bai, Feng Chia University, 2. Debugging User-Defined Functions in RDBMS Client-Server Environment 145 Gene Fuh, Kevin Nomura, Mike Meier and Hsin Pan, IBM Almaden Research Center, U.S.A. 3. Constraint Maintenance for Replicated Databases 153 Y. H. Chin, Keith K. S. Lee, San-Yih Hwang and Shu-Chin Su Chen, National Tsing Hua University, 4. Buffer Management for Relational Database Systems 161 Jen-Yao Chung, Don Haderle, Jim Teng and Tai-Yi Huang, IBM T.J. Watson Research Center, U.S.A. II

4 Session DS5(A): Join Algorithms 1. A Temporal Join Algorithm Based on Rank Key-to-Address Transformation 169 C.Y. Chen, C.C. Chang and R. C. T. Lee, Feng Chia University, 2. A Comparison of Composition and Join Operations 177 Yao-Nan Lien, Chian-Yuan Chiou and Gillin Hu, National Chengchi University, 3. Two Dominance Searching Based Temporal Join Algorithms 185 C.Y. Chen and J.F. Hu, Feng Chia University, 4. Declarative View Updates in Linear Logic Databases 193 Dong-Tsan Lee and C.P. Tsang, University of Western Australia, Australia Session DS5(B): Scheduling and Performance Evaluation 1. On Improving the Schedulability of Real-Time Data-Intensive Applications: Preemptibility versus Non-Preemptibility 201 Ming-Chung Liang, Shao-Juen Ho and Tei-Wei Kuo, National Chung Cheng University, 2. Synthesizing Timed Transitions and Timed Places in a Petri Net 209 Steve J. Yang, Jeffrey J. P. Tsai, Eric Y. T. Juan and Zheng-Hao Lai, National Central University, 3. On Detection of Bounded Global Predicates 217 Loon-Been Chen and I-Chen Wu, National Chiao Tung University, Session DS6(A): Distributed Applications and Their Supports(I) 1. Efficient Eigenvalue Computation of Symmetric Tridiagonal Matrices on Heterogeneous Workstation Clusters 224 Shen-Fu Hsiao and Kuo-Chung Chen, National Sun Yat-Sen University, 2. A Parallel Recursive H/V Partitioning Method for Mapping Unstructured Finite Element Graphs on Processor Meshes 232 Yeh-Ching Chung, Ching-Jung Liao and Chin-Feng Lin, Feng Chia University, 3. Design and Implementation of Message Passing Interface for Clusters of Workstations on Local Area Networks 240 Jyh-Jong Tsay, Yuan-Zi Chang and Kuo-Shun Ding, National Chung Cheng University, 4. Multi-threaded Design for a Distributed Shared Memory System 248 Ce-Kuen Shieh, Su-Cheong Mac, An-Chow Lai, Jyh-Chang Ueng and Tyng-Yeu Liang, National Cheng Kung University, 5. Design and Implementation of a Parallel File Subsystem on TreadMarks 256 Su-Cheong Mac, Ce-Kuen Shieh, Bor-Jyh Shieh and Li-Ming Tseng, National Cheng Kung University, Ill

5 Session DS6(B): Software Metrics 1. Cost-Reliability Optimal Software Release Policy under Penalty Cost Based on thehgdm Sy-Yen Kuo, Rong-Huei Hou and Yi-Ping Chang, National Taiwan University, 2. A Validation of Coupling and Cohesion Metrics for Object-Oriented Programs 271 Feng-Jian Wang, Bin-Shiang Liang, Shu-Fen Wu and Yen-Sung Lee, National Chiao Tung University, 3. A Model of Software Testability Measurement 279 Jin-Cherng Lin, Szu-Wen Lin and Ian Ho, Tatung Institue of Technology, 4. Evidence-based Software Verification and Validation Technique 286 Chin-Feng Fan, Wei-Huang Hung and Swu Yih, Yuan-Ze Institute of Technology, 264 Session DS7(A): Distributed Applications and Their Supports(II) 1. An Extension of MS Windows to Support the Development of Distributed Object- Oriented Applications 294 Chih-Ping Chu and Heng-Ching Lin, National Cheng Kung University, 2. Supporting an object-based API for DCE 302 Chu-Sing Yang, Shu-Chin Su Chen, C. C. Chen and David Lin, National Sun Yat-Sen University, 3. An Efficient Forward Recovery Checkpointing Scheme in Distributed Systems 310 Kuochen Wang and Chien-Chun Wang, National Chiao Tung University, 4. Experience with Building Reliable RPC Servers Based on a Fault Tolerant RPC Library 316 Jyh-Tzong Chiou, Shang-Rong Tsai and Charles Changli Chin, National Cheng Kung University, 5. An Optimal Agreement Protocol for Hybrid Fault Model on Communication Links 324 Yeh-Hao Chin, Wei-Pang Yang and Hin-Sing Siu, National Tsing Hua University, Session DS7(B): Object Oriented Technology 1. High-Level Flow Model for Anomaly Detection in Object-Oriented Programs 331 Feng-Jian Wang and Jiun-Liang Chen, National Chiao-Tung University, 2. Reusable Component Identification by Code Understanding through Program Transformation in RRRA.339 Hongji Yang and William C. Chu, Montfort University, England 3. A Unifying Framework for Undoing Code Transformations 347 Chyi-Ren Dow, Mary Lou Soffa and Shi-Kuo Chang, Feng Chia University, 4. OBRAD: An Object-Based Rapid Application Development Method 355 Wei T. Huang, Jonathan Lee and Tai Lin Kuei, National Central University, IV

6 5. High-Level Reuse in the Design of an Object-Oriented Real-Time System Framework 363 Sao-Jie Chen and Win-Bin See, National Taiwan University, Session DS8: Compiler and Programming Language 1. A Tool for Layered Analysing and Debugging of Distributed Programs 371 Wanlei Zhou, Deakin University, Australia 2. Designing a Multiuser Interactive Script Language for CSCW Systems 379 Jia-Sheng Heh, Wen-Han Lin and Jwu-Hwa Ho, Chung Yuan Christian University, 3. Study and Implementation of Integrated CSCW Support Environment 387 Yong Tang, Yong Wang and Xianji Li, GuangDong University of Technology, China 4. Constructing Flow-Based Editors with a Model-View-Shape Architecture 391 Feng-Jian Wang and Chung-Hua Hu, National Chiao Tung University, Session DS9: Groupware Environments and Tools 1. A Specification Language Based on Attribute Grammar for Compiler Construction 398 Feng-Jian Wang and Ji-Tzay Yang, National Chiao Tung University, 2. SSCC: A Sufficiently Smart Compiler-Compiler 406 Wuu Yang and Yen-Tsan Liu, National Chiao Tung University, 3. Identifying Functionality of Fragments in Concurrent Programs 414 Ting-Lu Huang, National Chiao Tung University, 4. A Program Slicing System for Object-Oriented Programs 422 Jien-Tsai Chan and Wuu Yang, National Chiao Tung University,

Accepted List. Result Paper Id Paper Title Authors. Agile Project Management in MIS: A Case Study in A Research Institute

Accepted List. Result Paper Id Paper Title Authors. Agile Project Management in MIS: A Case Study in A Research Institute Oral 011 Oral 016 Oral 017 Agile Project Management in MIS: A Case Study in A Research Institute Exploring Developing Countries Immigrants Intention to Use Information Communication Technology Partial