• C
  • COMPSAC
  • 1995
  • 19th International Computer Software and Applications Conference (COMPSAC'95)
Advanced Search 
19th International Computer Software and Applications Conference (COMPSAC'95)
Dallas, Texas
August 09-August 11
ISBN: 0-8186-7119-X
Table of Contents
Session 1: Advances in Formal Methods I
W.E. Howden, SERL, University of Hawaii
G.M. Shi, University of California at San Diego
pp. 4
Linda B. Sherrell, Department of Computer Science Louisiana State University
Doris L. Carver, Department of Computer Science Louisiana State University
pp. 12
P. C. Grabow, Department of Computer Science Baylor University
L. Liu, Department of Computer Science Baylor University
pp. 18
Session 2: Knowledge-Based Systems
Hing-Yan Lee, Information Technology Institute, National Computer Board
Hwee-Leng Ong, Information Technology Institute, National Computer Board
Eng-Whatt Toh, Information Technology Institute, National Computer Board
Sieu-Kong Chan, Information Technology Institute, National Computer Board
pp. 26
S. M. Yuen, The Chinese University of Hong Kong Shatin, New Territories, Hong Kong
K. P. Lam, The Chinese University of Hong Kong Shatin, New Territories, Hong Kong
pp. 32
Kunhuang Huarng, Department of Information Management Ling Tung College
Dick B. Simmons, Department of Computer Science Texas A&M University
pp. 40
Session 3: Panel: Software Industry Growth: Funding Based on Software Valuation
Session 4: Advances in Formal Methods II
Ming-Yuan Zhu, Artificial Intelligence Lab., Beijing Inst. of Syst. Eng., China
Xiao-Bai Mo, Artificial Intelligence Lab., Beijing Inst. of Syst. Eng., China
pp. 56
Expressing JSD in Z (Abstract)
Jonathan Lee, Software Engineering Lab., Department of Computer Science and Information Engineering National Central University Chungli, Taiwan
Wei T. Huang, Software Engineering Lab., Department of Computer Science and Information Engineering National Central University Chungli, Taiwan
Cheng-Kai Chang, Software Engineering Lab., Department of Computer Science and Information Engineering National Central University Chungli, Taiwan
Jiann-I Pan, Software Engineering Lab., Department of Computer Science and Information Engineering National Central University Chungli, Taiwan
pp. 62
Session 5: Modeling Techniques
Masayoshi Aritsugi, Department of Computer Science and Communication Engineering Kyushu University
Akifumi Makinouchi, Department of Computer Science and Communication Engineering Kyushu University
pp. 70
Chung-Horng Lung, Department of Computer Science and Engineering Arizona State University
Joseph E. Urban, Department of Computer Science and Engineering Arizona State University
pp. 77
Boris Stilman, Department of Computer Science & Engineering University of Colorado at Denver
pp. 83
Session 6: Panel: Software Technology in the 21st Century: A Technology Forecast
Session 7: Software Support Leverage for Formal Methods
Ruqian Lu, Institute of Mathematics The Chinese Academy of Science
Zhi Jin, Institute of Mathematics The Chinese Academy of Science
Ronglin Wan, Institute of Mathematics The Chinese Academy of Science
pp. 96
Martina Schollmeyer, Texas A&M University-Corpus Christi Department of Computer Science
Bruce McMillin, Computer Science Department State University of New York at Stony Brook
pp. 102
Xiaoping Jia, Sch. of Comput. Sci., Telecommun. & Inf. Syst., DePaul Univ., Chicago, IL, USA
pp. 108
Session 8: Database Applications
Eun Gyung Kim, Dept. of Information and Communication Engineering Korea Institute of Technology and Education
pp. 122
Jongpil Yoon, Department of Computer Science, Sookmyung Women's University, Seoul, Korea
pp. 128
Session 9: Performance Evaluation and Optimization
Jae Soo Yoo, Dept. of Computer Science & Statistics Mokpo National University
Myoung Ho Kim, Dept. of Computer Science
Yoon-Joon Lee, Dept. of Computer Science
Byoung Mo Im, Dept. of Computer Science
pp. 144
Sangdon Lee, Department of Computer Engineering Seoul National University
Sukho Lee, Department of Computer Engineering Seoul National University
pp. 150
Tzer-Shyong Chen, Dept. of Electrical Engineering National Taiwan University, Taipei, Taiwan, R.O.C.
Feipei Lai, Dept. of Electrical Engineering National Taiwan University, Taipei, Taiwan, R.O.C.
Rung-Ji Shang, Dept. of Electrical Engineering National Taiwan University, Taipei, Taiwan, R.O.C.
pp. 162
Thursday Plenary Session: Keynote Address II
Session 10: Software Development Tools
David B. Boardman, Software Engineering Research Center Purdue University, W. Lafayette, IN 47907
Geoffrey Greene, Software Engineering Research Center Purdue University, W. Lafayette, IN 47907
Vivek Khandelwal, Software Engineering Research Center Purdue University, W. Lafayette, IN 47907
Aditya P. Mathur, Software Engineering Research Center Purdue University, W. Lafayette, IN 47907
pp. 184
Session 11: Object-Oriented Approach for Distributed Systems
Pen-Nan Lee, Fieng-Chia University, Taichung, Taiwan, R.O.C.
Lawrence Miller, Department of Computer Science, University of Houston
Ping-Chuan Tai, Department of Computer Science, University of Houston
Yiwei Chen, Department of Computer Science, University of Houston
pp. 192
H.C. Kim, Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
V.S.S. Nair, Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 199
Shelly S. Stubbs, Department of Computer Science Louisiana State University
D. L. Carver, Department of Computer Science Louisiana State University
pp. 205
Session 12: Metrics and Software Quality
Yvan Cazabon, PRIOR Data Sciences Ltd. Mississauga, Ontario L4W 4P4 Canada
Michael Bauer, Department of Computer Science, The University of Western Ontario London, Ontario Canada, N6A 5B7
pp. 212
I-Ling Yen, Department of Computer Science Michigan State University East Lansing, MI 48824-1027
Ing-Ray Chen, Institute of Information Engineering National Cheng Kung University No. 1, University Road, Tainan, Taiwan
pp. 218
Xiaomu Zeng, Dept. of Electrical Eng. and Computer Science University of Illinois at Chicago Chicago, IL 60607-7053
Jeffrey J.P Tsai, Dept. of Electrical Eng. and Computer Science University of Illinois at Chicago Chicago, IL 60607-7053
Thomas J. Weigert, Land Mobile Products Sector Motorola, Inc. Schaumburg, IL 60196
pp. 224
Session 13: Prototyping and Testing
J.Z. Gao, Texas Univ., Arlington, TX, USA
D. Kung, Texas Univ., Arlington, TX, USA
P. Hsia, Texas Univ., Arlington, TX, USA
Y. Toyoshima, Texas Univ., Arlington, TX, USA
C. Chen, Texas Univ., Arlington, TX, USA
pp. 232
David Kung, Computer Science Engineering Dept.
Jerry Gao, Computer Science Engineering Dept.
Pei Hsia, Computer Science Engineering Dept.
Yasufumi Toyoshima, Fujitsu Network Transmission Systems, Inc.
Cris Chen, Fujitsu Network Transmission Systems, Inc.
pp. 239
Session 14: Distributed Algorithms and Environments
Carl K. Chang, Department of EECS (M/C 154) University of Illinois at Chicago
Bashir A. Haswarey, Department of EECS (M/C 154) University of Illinois at Chicago
Pattanasak Mongkolwat, Department of Computer Science Illinois Institute of Technology
pp. 262
Session 16: Reengineering, Reverse Engineering, Reuse, and Customization
Chao-Tsun Chang, Dept of General Science Air Communication and Electronics School Kang Shan, Kaoshiung 820 Taiwan
Chung-Shyan Liu, Dept of Information and Computer Engineering Chung Yuan Christian University
pp. 278
T. Yoshino, Fujitsu Laboratories Ltd.
S. Uehara, Fujitsu Laboratories Ltd.
T. Ookubo, Fujitsu Laboratories Ltd.
S. Suguta, Fujitsu Laboratories Ltd.
Y. Hotta, Fujitsu Laboratories Ltd.
M. Sonobe, Fujitsu Laboratories Ltd.
pp. 284
William C. Chu, Department of Information Science Feng Chia University
Hongji Yang, Computer Science Department, De Montfort University England
pp. 290
Session 17: Distributed Multi-Media Systems: Tools and Techniques
Hsing Mei, Comput. Sci. & Inf. Eng. Dept., Fu Jen Catholic Univ., Taipei, Taiwan
pp. 306
Session 19: Software Process Improvements
John D. Tvedt, Arizona State University Department of Computer Science and Engineering
James S. Collofello, Arizona State University Department of Computer Science and Engineering
pp. 318
O. Demirors, Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
D.J. Frailey, Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 326
Session 20: Multi-Media Storage Management and Applications
Jin Ho Jung, Korea Advanced Institute of Science and Technology
Hyun S. Yang, Korea Advanced Institute of Science and Technology
pp. 334
Alfred R. Watkins, College of Computing Georgia Institute of Technology
Edward Omiecinski, College of Computing Georgia Institute of Technology
pp. 339
Taeck-Geun Kwon, Dept. of Computer Engineering, Seoul National Univ.
Sukho Lee, Dept. of Computer Engineering, Seoul National Univ.
pp. 346
Session 22: Multi-Paradigm Programming
Weiyi Meng, Department of Computer Science, State University of New York at Binghamton
Aqueo Kamada, Department of Computer Science, State University of New York at Binghamton
Yu-Hsi Chang, Department of Computer Science, State University of New York at Binghamton
pp. 356
Paul K.C. Pun, Room IT301, Department of Computer Science, University of Manchester, Manchester M13 9PL, United Kingdom
Hilary J. Kahn, Room IT404, Department of Computer Science, University of Manchester, Manchester M13 9PL, United Kingdom
pp. 362
Session 23: Software Development for Parallel and Distributed Systems
Stephen S. Yau, Department of Computer Science and Engineering Arizona State University Tempe, AZ 85287-5406, USA
Doo-Hwan Bae, Information and Communication Engineering Department Korea Advanced Institute of Science and Technology Seoul, Korea
Jun Wang, Department of Computer Science and Engineering Arizona State University Tempe, AZ 85287-5406, USA
pp. 370
Mark E. Cavender, High Performance Computing and Software Laboratory
Xiaodong Zhang, High Performance Computing and Software Laboratory
pp. 376
Chi-Chung Hui, Dept. of Comput. Sci., Hong Kong Univ., Hong Kong
M. Hamdi, Dept. of Comput. Sci., Hong Kong Univ., Hong Kong
I. Ahmad, Dept. of Comput. Sci., Hong Kong Univ., Hong Kong
pp. 383
Session 24: Panel: Software Fault Tolerance
Session 25: Software Security and Safety
Qi Shi, School of Computing & Mathematics Liverpool John Moores University Liverpool, U.K.
N. Zhang, Department of Computing Manchester Metropolitan University Manchester, U.K.
pp. 396
I-Lung Kao, Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
R. Chow, Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
pp. 402
Satish Subramanian, Department of Computer Science, University of Minnesota,
Ramakrishna V. Vishnuvajjala, Department of Computer Science, University of Minnesota,
Ramin Mojdehbakhsh, Department of Computer Science, University of Minnesota,
W.T. Tsai, Department of Computer Science, University of Minnesota,
Lynn Elliott, Department of Computer Science, University of Minnesota,
pp. 409
Session 26: Applications
Paul Yiu Chung Wong, The Chinese University of Hong Kong
Siu Chi Hsu, The Chinese University of Hong Kong
pp. 416
Fu-Fu Shen, Telecommunication Laboratories
Whei-Yee Lin, Telecommunication Laboratories
Chea-Yean Wong, Telecommunication Laboratories
Chien-Wei Cheng, Telecommunication Laboratories
Hsien-Sheng Chen, Telecommunication Laboratories
pp. 422
Session 27: Panel: Alternative Approaches to Modeling Processes
Usage of this product signifies your acceptance of the Terms of Use.