The Community for Technology Leaders
Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94) (1994)
Taipei, Taiwan
Nov. 9, 1994 to Nov. 11, 1994
ISBN: 0-8186-6705-2
TABLE OF CONTENTS

Video coding for HDTV systems (PDF)

B.W.Y. Wei , Compression Labs. Inc., San Jose State Univ., CA, USA
W.H. Chen , Compression Labs. Inc., San Jose State Univ., CA, USA
pp. 469-475

Transaction model of vehicle movement (PDF)

M. Takizawa , Dept. of Comput. & Syst. Eng., Tokyo Denki Univ., Saitama, Japan
S. Hamada , Dept. of Comput. & Syst. Eng., Tokyo Denki Univ., Saitama, Japan
pp. 463-468

A conversion and management system for parcel maps (PDF)

C.C. Hsieh , Technol. Res. Div., Inst. for Inf. Ind., Taipei, Taiwan
S.M. Fan , Technol. Res. Div., Inst. for Inf. Ind., Taipei, Taiwan
P.H. Shih , Technol. Res. Div., Inst. for Inf. Ind., Taipei, Taiwan
H.S. Chiu , Technol. Res. Div., Inst. for Inf. Ind., Taipei, Taiwan
pp. 457-462

Tools cooperation in an integration environment by message-passing mechanism (PDF)

Chi-Ming Chung , Dept. Inf. Eng., Tamkang Univ., Tamsui, Taiwan
Ying-Hong Wang , Dept. Inf. Eng., Tamkang Univ., Tamsui, Taiwan
pp. 451-456

A Petri-net-based Modeling Assisted Software Environment (MASE) tool (PDF)

G.Y. Tan , Sch. of Appl. Sci., Nanyang Technol. Inst., Singapore
G.S. Hura , Sch. of Appl. Sci., Nanyang Technol. Inst., Singapore
pp. 439-444

Automatic variable classification for COBOL programs (PDF)

X.P. Chen , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
W.T. Tsai , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
J.K. Joiner , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
H. Gandamaneni , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
J. Sun , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 432-437

The need for measured data in computer system performance analysis or garbage in, garbage out (PDF)

A.J. Smith , Comput. Sci. Div., California Univ., Berkeley, CA, USA
pp. 426-431

Preventative software systems (PDF)

M.H. Hamilton , Hamilton Technol. Inc., Cambridge, MA, USA
pp. 410-416

A precedence graph model for real-time systems (PDF)

C. Erbas , Accel. Syst. Div., Superconducting Super Collider Lab., Dallas, TX, USA
pp. 403-409

On concurrency control in multidatabase systems (PDF)

Ming-Chuan Wu , Inst. of Inf. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
Chiang Lee , Inst. of Inf. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
pp. 386-391

Improving execution concurrency for long-duration database transactions (PDF)

A.N.J. Wu , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 380-385

Design and analysis of a secure two-phase locking protocol (PDF)

S.H. Son , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
R. David , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
pp. 374-379

Protecting your intellectual property (PDF)

D.S. Fernandez , Fenwick, Davis & West, Palo Alto, CA, USA
pp. 370-372

On analysis of secure information systems: a case study (PDF)

Qi Shi , Sch. of Comput. & Math., Liverpool John Moores Univ., UK
pp. 364-369

The Multi-Project Support System based on multiplicity of task (PDF)

K. Tsukada , Dept. of Instrum. Eng., Keio Univ., Yokohama, Japan
K. Okada , Dept. of Instrum. Eng., Keio Univ., Yokohama, Japan
Y. Matsushita , Dept. of Instrum. Eng., Keio Univ., Yokohama, Japan
pp. 358-363

EASE-a software integration tool and user interface (PDF)

C. Gotze , Dept. of Comput. Software, Univ. of Aizu, Fukushima, Japan
pp. 352-356

EUOBFE-An end user oriented CASE tool for business process reengineering (PDF)

Yigang Chen , Hitachi Software Eng. America Ltd., San Bruno, CA, USA
Yutaka Usuda , Hitachi Software Eng. America Ltd., San Bruno, CA, USA
pp. 346-351

Software bus transceiver (PDF)

T.Q. Pham , Hewlett-Packard Co., Palo Alto, CA, USA
pp. 340-345

Parallel indexing in a Chinese information retrieval system (PDF)

Kam-Fai Wong , Dept. of Syst. Eng., Chinese Univ. of Hong Kong, Shatin, Hong Kong
V.Y. Lum , Dept. of Syst. Eng., Chinese Univ. of Hong Kong, Shatin, Hong Kong
pp. 320-325

Hardware-software co-designing benchmark-driven superpipelined instruction set processors (PDF)

Ching-Long Su , Lab. of Adv. Comput. Archit., Univ. of Southern California, Los Angeles, CA, USA
A.M. Despain , Lab. of Adv. Comput. Archit., Univ. of Southern California, Los Angeles, CA, USA
pp. 319

On porting sequential programs to parallel machines (PDF)

C.S. Raghavendra , Sch. of EECS, Washington State Univ., Pullman, WA, USA
S. Bhansali , Sch. of EECS, Washington State Univ., Pullman, WA, USA
pp. 313-318

Parallel Pthread library (PPL): user-level thread library with parallelism and portability (PDF)

T. Miyazaki , Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan
C. Sakamoto , Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan
M. Kuwayama , Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan
pp. 301-306

Behavior-based acceptance testing of software systems: a formal scenario approach (PDF)

P. Hsia , Texas Univ., Arlington, TX, USA
J. Gao , Texas Univ., Arlington, TX, USA
J. Samuel , Texas Univ., Arlington, TX, USA
D. Kung , Texas Univ., Arlington, TX, USA
pp. 293-298

Systematic design of static program analyzers (PDF)

S. Jarzabek , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 281-286

Text retrieval-a trendy cocktail to address the dataworld (PDF)

M. Chellappa , Kanishka Syst., Singapore
S. Kambhampaty , Kanishka Syst., Singapore
pp. 276-280

Interoperability in a heterogeneous environment for engineering design (PDF)

S.D. Urban , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 270-275

Performance analysis of an object-oriented approach to parallel query evaluation (PDF)

T.R. Poola , Dept. of Electr. & Comput. Eng., Rutgers Univ., Piscataway, NJ, USA
pp. 264-269

The integration and adaptation of reusable components through semantic interface analysis (PDF)

W.C. Chu , Dept. of Inf. Sci., Feng Chia Univ., Taichung, Taiwan
pp. 252-257

Polynomial programming using Groebner Bases (PDF)

Yao-Jen Chang , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
B.W. Wah , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 236-241

A structural testing method for C++ programs (PDF)

Jen-Gaw Lee , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Ming-Jyh Feng , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Chyan-Goei Chung , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 234

Constructing an automated testing oracle: an effort to produce reliable software (PDF)

Luqi , Dept. of Comput. Sci., Naval Postgraduate Sch., Monterey, CA, USA
pp. 228-233

On object state testing (PDF)

D. Kung , Texas Univ., Arlington, TX, USA
N. Suchak , Texas Univ., Arlington, TX, USA
J. Gao , Texas Univ., Arlington, TX, USA
P. Hsia , Texas Univ., Arlington, TX, USA
pp. 222-227

Design and implementation of conference scheduling and voting facilities for a multi-media conferencing system (PDF)

J.M. Ng , City Polytech. of Hong Kong, Kowloon, Hong Kong
E. Chan , City Polytech. of Hong Kong, Kowloon, Hong Kong
L.E. Lam , City Polytech. of Hong Kong, Kowloon, Hong Kong
pp. 221

Experiences of collecting and using software metrics in industry (PDF)

D.R. Hufton , Inst. of Syst. Sci., Nat. Univ. of Singapore, Singapore
pp. 208

Extension of the SEI software capability maturity model to systems (PDF)

K.D. Shere , Syst. Technol. Group Inc., Hawthorne, CA, USA
pp. 195-200

Simulation based metrics prediction in software engineering (PDF)

V. Bhargavan , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
C.V. Ramamoorthy , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
pp. 189-194

An effective network management architecture for distributed multimedia systems (PDF)

Choongseon Hong , Fac. of Sci. & Technol., Keio Univ., Yokohama, Japan
S. Honda , Fac. of Sci. & Technol., Keio Univ., Yokohama, Japan
T. Yoneda , Fac. of Sci. & Technol., Keio Univ., Yokohama, Japan
Y. Matsushita , Fac. of Sci. & Technol., Keio Univ., Yokohama, Japan
pp. 188

An FSM-based program generator for communication protocol software (PDF)

Chung-Shyan Liu , Dept. of Inf., Chung Yuan Christian Univ., Chung Li, Taiwan
Kuo-Hua Su , Dept. of Inf., Chung Yuan Christian Univ., Chung Li, Taiwan
pp. 181-187

Test sequence generation methods for protocol conformance testing (PDF)

Chul Kim , Dept. of Comput. Sci., Yonsei Univ., Seoul, South Korea
J.S. Song , Dept. of Comput. Sci., Yonsei Univ., Seoul, South Korea
pp. 169-174

A development strategy of user navigation systems and GUI applications (PDF)

Jeongwon Baeg , Dept. of Inf. & Comput. Sci., Waseda Univ., Tokyo, Japan
A. Hirahara , Dept. of Inf. & Comput. Sci., Waseda Univ., Tokyo, Japan
Y. Fukazawa , Dept. of Inf. & Comput. Sci., Waseda Univ., Tokyo, Japan
pp. 163-168

Object view derivation and object query transformation (PDF)

Chih-Chin Liu , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
A.L.P. Chen , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 157-162

GUI-SIDER: a scenario-based interaction design environment for GUI dialogue (PDF)

S. Shimizu , NTT Software Labs., Tokyo, Japan
N. Arakawa , NTT Software Labs., Tokyo, Japan
pp. 151-156

RiskExpert: an expert STEP metrics analyzer (PDF)

C.L. Chee , Dept. of Comput. Sci., California Univ., Berkeley, CA, USA
S. Ishihara , Dept. of Comput. Sci., California Univ., Berkeley, CA, USA
V. Bharghavan , Dept. of Comput. Sci., California Univ., Berkeley, CA, USA
V. Vij , Dept. of Comput. Sci., California Univ., Berkeley, CA, USA
C.V. Ramamoorthy , Dept. of Comput. Sci., California Univ., Berkeley, CA, USA
pp. 145-150

Measuring program structure with inter-module metrics (PDF)

M.H. Ammann , Simon Fraser Univ., Burnaby, BC, Canada
R.D. Cameron , Simon Fraser Univ., Burnaby, BC, Canada
pp. 139-144

Ada concurrent complexity metrics based on rendezvous relations (PDF)

Wang Zhenyu , China State Shipbuilding Corp., Wuhan, China
pp. 133-138

Simulation based software development (PDF)

J.D. Baker , Lockheed Missiles & Space Co., Inc. Sunnyvale, CA, USA
W.H. Graves , Lockheed Missiles & Space Co., Inc. Sunnyvale, CA, USA
pp. 121-125

DOMINO: a system for maintaining the consistency of software objects (PDF)

C. Chandra , Dept. of Comput. Sci., California Univ., Berkeley, CA, USA
C.V. Ramamoorthy , Dept. of Comput. Sci., California Univ., Berkeley, CA, USA
pp. 111-120

Program extraction by type erasing (PDF)

Ming-Yuan Zhu , AI Lab., Beijing Inst. of Syst. Eng., China
pp. 105-110

Towards automating object-oriented analysis (PDF)

I.A. Zualkernan , Dept. of Comput. Sci. & Eng., Pennsylvania State Univ., University Park, PA, USA
R.S. Ordower , Dept. of Comput. Sci. & Eng., Pennsylvania State Univ., University Park, PA, USA
pp. 103

A framework approach to the development of AI applications (PDF)

Poh-Yee Wong , Nat. Comput. Board, Singapore
Yuen-Wah Ku , Nat. Comput. Board, Singapore
F.S.C. Yeoh , Nat. Comput. Board, Singapore
pp. 84-89

A flexible control mechanism for managing interrelated/interdependent tasks successively (PDF)

H. Watanabe , Dept. of Inf. Eng., Nagoya Univ., Japan
T. Watanabe , Dept. of Inf. Eng., Nagoya Univ., Japan
N. Sugie , Dept. of Inf. Eng., Nagoya Univ., Japan
pp. 78-83

Software engineering education the shift to object oriented programming (PDF)

P.B. Franca , Univ. Federal do Rio de Janeiro, Brazil
pp. 71-76

Providing orthogonal persistence to C++ using forced inheritance (PDF)

Chong-Mok Park , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
pp. 64-70

Toward an object-oriented modeling approach with representation of temporal knowledge (PDF)

Jyhjong Lin , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
D.C. Kung , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
Pei Hsia , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
pp. 58-63

SPMNet: a formal methodology for software management (PDF)

C.E. Chang , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
Chikuang Chao , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
Su-Yin Hsieh , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
I. Alsalqan , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 57

Balancing in reverse engineering and in object-oriented systems engineering to improve reusability and maintainability (PDF)

H. Gall , Inst. of Inf. Sci., Univ. of Technol., Vienna, Austria
R. Klosch , Inst. of Inf. Sci., Univ. of Technol., Vienna, Austria
pp. 35-42

A new approach to module-oriented design of OO software (PDF)

C.K. Chang , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
Shiyan Hua , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 29-34

The object-oriented paradigm for software evolution (Abstract)

M.A.M. Capretz , Dept. of Comput. Software, Aizu Univ., Fukushima, Japan
L.F. Capretz , Dept. of Comput. Software, Aizu Univ., Fukushima, Japan
pp. 23,24,25,26,27,28

Development of the TUG specification language to support specification reuse (PDF)

Chia-Chu Chiang , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
J.E. Urban , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 17-22

Modeling and parallel evaluation of non-functional requirements using FRORL requirements language (PDF)

J.J.P. Tsai , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
Bing Li , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
A. Liu , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 11-16

Customizable software requirements languages (PDF)

A. Ohnishi , Dept. of Comput. Sci., Ritsumeikan Univ., Kyoto, Japan
pp. 5-10

The information industry development in Taiwan (PDF)

Shih-Chien Yang , Minist. of Economic Affairs, Taipei, Taiwan
pp. 1-4
93 ms
(Ver 3.3 (11022016))