The Community for Technology Leaders
RSS Icon
Subscribe
2013 IEEE 37th Annual Computer Software and Applications Conference (1995)
Dallas, Texas
Aug. 9, 1995 to Aug. 11, 1995
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
Xudong He , Dept. of Comput. Sci., North Dakota State Univ., Fargo, ND, USA
pp. 50
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
Soon M. Chung , Dept. of Computer Science & Eng.
Pyeong S. Mah , Dept. of Computer Science & Eng.
Junguk L. Kim , Bellcore
pp. 134
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 J. Russomanno , Department of Electrical Engineering The University of Memphis
pp. 172
Chris Stary , University of Technology Vienna
pp. 178
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
Uffe Kock Wiil , Programming Systems Laboratory, Department of Computer Science
pp. 298
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
Author Index (PDF)
pp. 430
408 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool