The Community for Technology Leaders
2013 IEEE 37th Annual Computer Software and Applications Conference (1997)
Washington, DC
Aug. 11, 1997 to Aug. 15, 1997
ISSN: 0730-3157
ISBN: 0-8186-8105-5
TABLE OF CONTENTS
Session 1: Software Architecture:Session Chair: Maarten Boasson, Hollandse Signaalapparaten BV, The Netherlands

Classifying Architectural Elements as a Foundation for Mechanism Matching (Abstract)

Paul Clements , Carnegie Mellon University
Len Bass , Carnegie Mellon University
Rick Kazman , Carnegie Mellon University
Gregory Abowd , College of Computing, Georgia Institute of Technology
pp. 14

The Architectural Style of Component Programming (Abstract)

Georg Trausmuth , Technical University of Vienna
Harald Gall , Technical University of Vienna
Rene Kloesch , Technical University of Vienna
Mehdi Jazayeri , Technical University of Vienna
pp. 18
Session 2: Database Algorithms and Applications:Session Chair: Feng-Jian Wang, National Chiao-Tung University, Taiwan

A parallel hash-based join algorithm for a networked cluster of multiprocessor nodes (Abstract)

Yun Jiang , Dept. of Comput. Sci. & Math., Kurashiki Univ. of Sci. & the Arts, Okayama, Japan
A. Makinouchi , Dept. of Comput. Sci. & Math., Kurashiki Univ. of Sci. & the Arts, Okayama, Japan
pp. 678

A temporal behavioral object model for object-oriented databases (Abstract)

Gwo-Dong Chen , Inst. for Inf. Industry, Nat. Central Univ., Taipai, Taiwan
Jian-Cheng Dai , Inst. for Inf. Industry, Nat. Central Univ., Taipai, Taiwan
Baw-Jiune Liu , Inst. for Inf. Industry, Nat. Central Univ., Taipai, Taiwan
Chen-Chung Liu , Inst. for Inf. Industry, Nat. Central Univ., Taipai, Taiwan
pp. 28

Object-Oriented Evolutionary Database Design for Software Metrics Data (Abstract)

A. Ghafoor , School of Electrical and Comp. Engr., Purdue University, W. Lafayette, IN, 47907
Y. Shinagawa , Department of Information Science, University of Tokyo, Tokyo Japan
Raymond A. Paul , Testing and Evaluation, 3000 Defense Pentagon, Washington DC 20301
T. L. Kunii , University of Aizu, Aizu Wakamatsu City, Fukushima 965-80, Japan
pp. 32

On the Complexity of the Minimum and Maximum Global Snapshot Problems (Abstract)

I.C. Wu , National Chiao Tung University
L.B. Chen , National Chiao Tung University
pp. 38
Session 3: Panel

Research directions in collaborative applications (Abstract)

P. Dewan , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
pp. 44
Session 4: Software Architecture:Session Chair: Alexander Ran, Nokia Research Center, USA

Object-based nonlinear undo model (Abstract)

Chunbo Zhou , Dept. of Comput. Sci., Yamanashi Univ., Kofu, Japan
A. Imamiya , Dept. of Comput. Sci., Yamanashi Univ., Kofu, Japan
pp. 50

Architecture and reengineering (Abstract)

N.R. Howes , Inst. for Defense Anal., Alexandria, VA, USA
pp. 56

Translating hierarchical predicate transition nets to CC++ program skeletons (Abstract)

Weili Yao , Dept. of Comput. Sci., North Dakota State Univ., Fargo, ND, USA
Xudong He , Dept. of Comput. Sci., North Dakota State Univ., Fargo, ND, USA
pp. 60

Replication of multimedia data using master-slave architecture (Abstract)

S. Sheikh , Widener Univ., Chester, PA, USA
R. Ganesan , Widener Univ., Chester, PA, USA
pp. 66
Session 5: Performance Evaluation:Session Chair: I-Ling Yen, Michigan State University, USA

The Ceiling Adjustment Scheme for Improving the Concurrency of Real-Time Systems with Mixed Workloads (Abstract)

Joo-Yong Kim , Seoul National University
Kern Koh , Seoul National University
Sang Hyuk Son , University of Virginia
pp. 72

On the Effect of Recovery Block Scheme on System Performance (Abstract)

S. H. Hosseini , University of Wisconsin-Milwaukee
K. Vairavan , University of Wisconsin-Milwaukee
O. A. Abulnaja , King Abdulaziz University, Jeddah, Saudi Arabia
pp. 76

Efficient Method for kr->r and r->kr Arrary Redistribution (Abstract)

Ching-Hsien Hsu , Feng Chia University
Yeh-Ching Chung , Feng Chia University
pp. 82
Session 6: Panel: Internet Interactive Learning

Internet interactive authoring, teach and learning-a breakthrough for education (Abstract)

I.F. Chang , Dept. of Comput. & Inf. Sci., Polytech. Univ., Hawthorne, NY, USA
pp. 97
Session 7: Object-Oriented Techniques:Session Chair: Dick Simmons, Texas A & M University, USA

SOPView+: an object browser which supports navigating database by changing base object (Abstract)

Hyoung-Joo Kim , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Sung-Woo Chang , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 100

Task.o object modeling approach for robot workcell programming (Abstract)

Gyu-Tae Kim , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Doo-Hwan Bae , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Sung Deok Cha , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
pp. 109

A fault tolerant object transaction service in CORBA (Abstract)

S.M. Yuan , Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan
Win-Tsung Lo , Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan
Y.M. Kao , Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan
Yue-Shan Chang , Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan
Deron Liang , Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan
pp. 115

Interconnection schemes for RTO.k objects in loosely coupled real-time distributed computer systems (Abstract)

K.H. Kim , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
C. Subbaraman , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 121
Session 8: Performance Modeling:Session Chair: Luqi, Naval Postgraduate School, USA

A New Performance Analysis Model of the Local Switching System (Abstract)

Shang-Juh Kao , Department of Applied Mathematics National Chung Hsing University
Tien-Chen Ho , Department of Applied Mathematics National Chung Hsing University
pp. 130

Improving I/O response times via prefetching and storage system reorganization (Abstract)

H. Lu , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
C.V. Ramamoorthy , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
C.L. Chee , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
H. Tang , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 143

Faster Simulation of Timed Petri Nets Via Distributed Simulation (Abstract)

Devendra Kumar , The City University of New York
Amit Kohli , Tata Consultancy Services, India
Venkatasubramaniam Narayanswamy , Alltel Information Services
pp. 149

Implementation and performance assessment of multilevel data structures (Abstract)

I-Ling Yen , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
K. Karun , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 153
Session 9: Panel

A defect prevention approach to architecture-based testing (Abstract)

N.S. Eickelmann , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
D.J. Richardson , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 162

Empirical experiences in analyzing software architecture sensitivity (Abstract)

Chung-Horng Lung , Software Eng. Anal. Lab., Nortel Technol., Ottawa, Ont., Canada
pp. 164
Plenary Session: Panel

Issues in software component technology: position statement (Abstract)

M. Jazayeri , Distributed Syst. Group, Tech. Univ. Vienna, Austria
pp. 171

Trends in software technology (Abstract)

Wei-Tek Tsai , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 173
Session 10: Software Architecture and Modeling:Session Chair: Deborah Cerino, Rome Laboratory, USA

Model-integrated system development: models, architecture, and process (Abstract)

J. Sztipanovits , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
M. Moore , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
A. Misra , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
A. Ledeczi , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
G. Karsai , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
pp. 176

Model-Based Architecture for the Intranet (Abstract)

Takao Ookubo , Software Laboratory, Fujitsu Laboratories Ltd.
Sanya Uehara , Software Laboratory, Fujitsu Laboratories Ltd.
Hirotaka Hara , Software Laboratory, Fujitsu Laboratories Ltd.
Nobuyuki Kanaya , Software Laboratory, Fujitsu Laboratories Ltd.
Takahide Matsutsuka , Software Laboratory, Fujitsu Laboratories Ltd.
pp. 182

Abstraction, concurrency, and communal computing in SequenceL (Abstract)

D.E. Cooke , Dept. of Comput. Sci., Texas Univ., El Paso, TX, USA
pp. 188

Partial instantiation theorem proving for distributed resource location (Abstract)

K. Vanderveen , 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. 192
Session 11: Database Applications:Session Chair: Jeffrey Tsai, University of Illinois at Chicago, USA

A Schema Intergration Architecture for Multidatabase Systems (Abstract)

Huaiyuan Zheng , Department of Computer Science and Engineering
Guoren Wang , Department of Computer Science and Engineering
Bin Zhang , Department of Computer Science and Engineering
Ge Yu , Department of Computer Science and Engineering
pp. 200

Composition can be Faster than Join (Abstract)

Yao-Nan Lien , National Chengchi University
Chih-Lin Hu , National Chengchi University
pp. 204

EH* - Extendible Hashing in a Distributed Environment (Abstract)

Victoria Hilford , University of Houston
Bojan Cukic , West Virginia University
Farokh B. Bastani , University of Houston
pp. 217
Session 12

Compunication: From Concept to Practice (Abstract)

Wen Gao , Harbin Institute of Technology
pp. 224
Session 13: Object-Oriented Techniques:Session Chair: Mikio Aoyama, Niigata Institute of Technology, Japan

A Parallelizing Compiler by Object Oriented Design (Abstract)

Tohru Kikuno , Department of Informatics and Mathematical Science Graduate School of Engineering Science, Osaka University
Hirofumi Terada , Department of Informatics and Mathematical Science Graduate School of Engineering Science, Osaka University
Shinji Kusumoto , Department of Informatics and Mathematical Science Graduate School of Engineering Science, Osaka University
Tatsuhiro Tsuchiya , Department of Informatics and Mathematical Science Graduate School of Engineering Science, Osaka University
Eun Mi Kim , Department of Informatics and Mathematical Science Graduate School of Engineering Science, Osaka University
pp. 232

Management of Object Oriented Development based on Ranked Use Cases (Abstract)

Tsutomu Syomura , Hitachi Software Engineering Co., Ltd.
Mutsumi Komuro , Hitachi Software Engineering Co., Ltd.
Hiroshi Suganuma , Hitachi Software Engineering Co., Ltd.
Akefumi Kumeta , Hitachi Software Engineering Co., Ltd.
A. K. Onoma , Hitachi Software Engineering Co., Ltd.
pp. 246

Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents (Abstract)

Tatsuhiro Tsuchiya , Department of Informatics and Mathematical Science Graduate School of Engineering Science, Osaka University
Shinji Kusumoto , Department of Informatics and Mathematical Science Graduate School of Engineering Science, Osaka University
Eun Mi Kim , Department of Informatics and Mathematical Science Graduate School of Engineering Science, Osaka University
Hirofumi Terada , Department of Informatics and Mathematical Science Graduate School of Engineering Science, Osaka University
Tohru Kikuno , Department of Informatics and Mathematical Science Graduate School of Engineering Science, Osaka University
pp. 252
Session 14: Software Development and Design

On the concurrent behaviour of SCR specifications (Abstract)

Hyoung Seok Hong , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Yong Rae Kwon , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Sung Deok Cha , Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
pp. 258

A formal approach to software components classification and retrieval (Abstract)

Hongji Yang , Inf. Center, GHQ, Taiwan
Chao-Tsun Chang , Inf. Center, GHQ, Taiwan
Chung-Shyan Liu , Inf. Center, GHQ, Taiwan
W.C. Chu , Inf. Center, GHQ, Taiwan
pp. 264

Trends and developments in CASE and structured methods: a European perspective (Abstract)

H. Edwards , Sch. of Comput. & Inf. Syst., Sunderland Univ., UK
C. Hardy , Sch. of Comput. & Inf. Syst., Sunderland Univ., UK
J.B. Thompson , Sch. of Comput. & Inf. Syst., Sunderland Univ., UK
pp. 270
Session 15: Panel: Year 2000 Problem

Re-engineering solutions for Y2K challenge (Abstract)

T. Sano , Software Factory Dept., Fujitsu Labs. Ltd., Japan
pp. 285

Application of data-centered approach to Year 2000 problem (Abstract)

Wei-Tek Tsai , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 287
Session 16: Multimedia Technology:Session Chair: Richard Sinn, IBM Rochester, USA

Optimal Scheduling for Normal and Interactive Operations in Parallel Video Servers (Abstract)

Karthikeyan Samuthiram , State University of New York at Buffalo
Wei Shu , State University of New York at Buffalo
Min-You Wu , State University of New York at Buffalo
pp. 290

A Multimedia Information System for Document Authoring, Indexing and Presentation (Abstract)

Young Francis Day , Distributed Multimedia Systems Laboratory Purdue University
Zhaohui Kevin Li , Distributed Multimedia Systems Laboratory Purdue University
Arif Ghafoor , Distributed Multimedia Systems Laboratory Purdue University
Husni Fahmi , Distributed Multimedia Systems Laboratory Purdue University
pp. 302

On QOS Mapping in Multimedia Networks (Abstract)

Jean-Francois Huard , Columbia University
Aurel A. Lazar , Columbia University
pp. 312
Session 17

Structured Document Framework for Design Patterns Based on SGML (Abstract)

Norihiko Yoshida , Graduate School of Information Science and Electrical Engineering Kyushu University
Jun'ichi Segawa , Graduate School of Information Science and Electrical Engineering Kyushu University
Mika Ohtsuki , Graduate School of Information Science and Electrical Engineering Kyushu University
Akifumi Makinouchi , Graduate School of Information Science and Electrical Engineering Kyushu University
pp. 320

Autonomous Decentralized Software Structure for Integration of Information and Control Systems (Abstract)

Kinji Mori , Tokyo Institute of Technolog
Katumi Kawano , Systems Development Laboratory, Hitachi, Ltd
Hiroshi Wataya , Omika Works, Hitachi, Ltd.
Takeiki Aizono , Systems Development Laboratory, Hitachi, Ltd
pp. 324

The use of industrial-strength formal methods (Abstract)

M.G. Hinchey , Dept. of Comput. Sci., Reading Univ., UK
J.P. Bowen , Dept. of Comput. Sci., Reading Univ., UK
pp. 332

Compiling process algebraic specifications into timed automata (Abstract)

C.K. Chang , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
Yi-Te Tseng , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
Ugo Buy , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 338

Patterns in the analysis, design and implementation of frameworks (Abstract)

B.B. Kristensen , Dept. of Comput. Sci., Aalborg Univ., Denmark
E.E. Jacobsen , Dept. of Comput. Sci., Aalborg Univ., Denmark
P. Nowack , Dept. of Comput. Sci., Aalborg Univ., Denmark
pp. 344
Session 18
Session 19

Farming Methodology for TMN Platform Independent Class Repository Design (Abstract)

Doo-kwon Baik , Software System Lab. Korea University
Sang-Hoon Park , LG R&D Complex, LG Information & Communication, Ltd.
Soo-Hyun Park , LG R&D Complex, LG Information & Communication, Ltd.
pp. 352

An optimization of disjunctive queries: union-pushdown (Abstract)

Sang-Goo Lee , Dept. of Comput. Sci., Seoul Nat. Univ., South Korea
Jae-Young Chang , Dept. of Comput. Sci., Seoul Nat. Univ., South Korea
pp. 356

DRDB: a distributed real-time database server for high-assurance time-critical applications (Abstract)

R.C. Beckinger , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
D.A. Baker , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
S.H. Son , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
pp. 362

Concurrent access to point data (Abstract)

T. Kameda , Dept. of Comput., Hong Kong Polytech., Kowloon, Hong Kong
V. Ng , Dept. of Comput., Hong Kong Polytech., Kowloon, Hong Kong
pp. 368
Session 20: Multimedia Applications:Session Chair: Barrie Thompson, University of Sunderland, UK

Design and Implementation of a Real-time Multimedia Presentation System using RTP (Abstract)

Ahmed Karmouch , University of Ottawa Ottawa
Samy A. Mahmoud , Carleton University
Sridevi Palacharla , Carleton University
pp. 376

Storage System and the Multimedia Challenges (Abstract)

Ramzi R. Yehia , Florida Atlantic University
Imad Mahgoub , Florida Atlantic University
pp. 388
Session 21: Software Reuse and Re-Engineering: Session Chair: Michael Zerofsky, Lockheed-Martin

Scalable Templates for Specification Reuse (Abstract)

Joseph E. Urban , Arizona State University
Chia-Chu Chiang , Viasoft Inc.
pp. 396

Formal Methods for the Re-Engineering of Computing Systems: A Comparison (Abstract)

X. Liu , Software Technology Research Laboratory De Montfort University, England
H. Yang , Software Technology Research Laboratory De Montfort University, England
H. Zedan , Software Technology Research Laboratory De Montfort University, England
pp. 409
Session 22: Mini-Tutorial:Session Chair: Xudong He, North Dakota State University, USA

The San Francisco project: an object-oriented framework approach to building business applications (Abstract)

B. Rubin , Int. Business Machines, Rochester, MN, USA
A. Nilsson , Int. Business Machines, Rochester, MN, USA
V. Johnson , Int. Business Machines, Rochester, MN, USA
K. Bohrer , Int. Business Machines, Rochester, MN, USA
pp. 416
Session 23: Software Reuse and Re-Engineering: Session Chair: William Chu, Feng Chia University, Taiwan

Statistical Algorithms and Software for Genomics (Abstract)

Thomas Anantharaman , New York University
Bud Mishra , New York University
pp. 434

A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning (Abstract)

Stephen J.H. Yang , National Central University, Taiwan ROC
Jonathan Lee , National Central University, Taiwan ROC
Wei T. Huang , National Central University, Taiwan ROC
William C. Chu , National Central University, Taiwan ROC
pp. 438

Techniques for addressing the Year 2000 transition (Abstract)

Chungti Liang , IBM Corp., Poughkeepsie, NY, USA
B. Phelps , IBM Corp., Poughkeepsie, NY, USA
J. Tan , IBM Corp., Poughkeepsie, NY, USA
pp. 444
Session 24: Software Processes and Modeling: Session Chair: Kinji Mori, Tokyo Institute of Technology, Japan

Domain Analysis and Modeling for Concurrent Engineering in Plant Monitoring and Operations (Abstract)

Satoshi Kumagai , Advanced Technology Center, Yamatake-Honeywell Co., Ltd.
Kiyoshi Itoh , Sophia University
Shuzo Kishima , Advanced Technology Center, Yamatake-Honeywell Co., Ltd.
pp. 450

Agile Software Process model (Abstract)

M. Aoyama , Dept. of Inf. & Electron. Eng., Niigata Inst. of Technol., Japan
pp. 454

Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software (Abstract)

S. M. Shatz , Concurrent Software Systems Lab University of Illinois at Chicago
C. Sashidhar , Concurrent Software Systems Lab University of Illinois at Chicago
pp. 460

Process Modelling to Support the Unified Modelling Language (Abstract)

Kann-Jang Yang , The University of Edinburgh
Rob Pooley , The University of Edinburgh
pp. 467
Session 25: Network Applications:Session Chair: Sourav Bhattacharya, Arizona State University, USA

An Overview of the Internet File System (Abstract)

Herman Chung-Hwa Rao , AT&T Laboratories-Research
Ming-Feng Chen , National Chiao-Tung University
Feng-Jian Wang , National Chiao-Tung University
pp. 474

Implementation Considerations for Mobile IP (Abstract)

Chun-Lai Cheng , Network and Communication Lab, Institute for Information Industry
Yuh-Rong Leu , Network and Communication Lab, Institute for Information Industry
pp. 478

Two-level Web agent for limited accessibility (Abstract)

Shyan-Ming Yuan , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
W. Lo , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Ping-Jer Yeh , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 482
Session 26: Panel

Software Asset Management and Domain Engineering (Abstract)

Satish Subramanian , Guidant Corporation, Cardiac Pacemakers Inc. (CPI),
pp. 494
Session 27: Software Testing and Reliability:Session Chair: Masao J. Matsumoto, University of Tsukuba, Japan

Systems testing and statistical test data coverage (Abstract)

W.E. Howden , California Univ., San Diego, La Jolla, CA, USA
pp. 500

Natural Optimization Algorithms for Optimal Regression Testing (Abstract)

Khaled Fakih , McGill University
Nashat Mansour , Lebanese American University
pp. 511
Session 28: Software Development Techniques: Session Chair: Daniel Abensour, Recal Data Group, USA

Workflow-oriented prototyping for the development of interactive software (Abstract)

C. Stary , Dept. for Bus. Inf. Syst., Commun. Eng., Linz Univ., Austria
M. Nagelholz , Dept. for Bus. Inf. Syst., Commun. Eng., Linz Univ., Austria
S. Mohacsi , Dept. for Bus. Inf. Syst., Commun. Eng., Linz Univ., Austria
N. Vidakis , Dept. for Bus. Inf. Syst., Commun. Eng., Linz Univ., Austria
pp. 530

A graphical environment for change detection in structured documents (Abstract)

G. Patel , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
J.T.L. Wang , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
L. Relihan , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
G.J.S. Chang , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 536

A Study on the Requirements Review Process in Software Development: Problems and Solutions (Abstract)

Mashkuri Hj. Yaacob , Faculty of Computer Science & Information Technology University of Malaya
Siew Hock Ow , Faculty of Computer Science & Information Technology University of Malaya
pp. 542

KAPSEL - Programming within Boundaries (Abstract)

Raimund K. Ege , Florida International University
pp. 548

Feature-oriented software structuring (Abstract)

J.K. Muller , Philips Res. Lab., Eindhoven, Netherlands
pp. 552
Session 29: Communication Networks and Applications: Session Chair: Guylaine M. Pollock, Sandia National Laboratory, USA

Estimating the size of an Estelle specification for a communication protocol (Abstract)

S.J. Huang , Sch. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
R. Lai , Sch. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
pp. 565

A content-based search engine on medical images for telemedicine (Abstract)

Chi-Hung Lee , Dept. of Comput. Sci., Hong Kong Univ., Hong Kong
D. Cheung , Dept. of Comput. Sci., Hong Kong Univ., Hong Kong
V. Ng , Dept. of Comput. Sci., Hong Kong Univ., Hong Kong
pp. 569

A framework for application adaptation in mobile computing environments (Abstract)

V. Bharghavan , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
V. Gupta , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 573
Session 30: Panel: Metrics

Army software metrics training (Abstract)

F.M. Hall , Independent Eng. Inc., USA
pp. 588

Software measurement in the U.S. Army (Abstract)

D.S. Lucero , Army Oper. Test & Evaluation Command, USA
pp. 589
Session 31: Software Testing: Session Chair: Satish Subramanian, Guidant, USA

Developing an Integrated Testing Environment Using the World Wide Web Technology (Abstract)

Cris Chen , Fujitsu Network Communications, Inc. Global Software Technology Division
Jerry Gao , Fujitsu Network Communications, Inc. Global Software Technology Division
David Leung , Fujitsu Network Communications, Inc. Global Software Technology Division
Yasufumi Toyoshima , Fujitsu Network Communications, Inc. Global Software Technology Division
pp. 594

Test Order for Inter-Class Integration Testing of Object-Oriented Software (Abstract)

Fonda J. Daniels , North Carolina State University
Kuo-Chung Tai , North Carolina State University
pp. 602

Two test data selection strategies towards testing of Boolean specifications (Abstract)

T.Y. Chen , Dept. of Comput. Sci., Melbourne Univ., Parkville, Vic., Australia
M.F. Lau , Dept. of Comput. Sci., Melbourne Univ., Parkville, Vic., Australia
pp. 608

Fault propagation analysis based variable length checkpoint placement for fault-tolerant parallel and distributed systems (Abstract)

V. Shah , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
S. Bhattacharya , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 612

Regression Containment through Source Change Isolation (Abstract)

Brian Ness , Cray Research
Viet Ngo , Cray Research
pp. 616
Session 32: Software Specifications and Maintenance: Sesson Chair: A.K. Onoma, Hitachi Software Engineering, Japan

Visual software requirements definition environment (Abstract)

N. Tokuda , Dept. of Comput. Sci., Ritsumeikan Univ., Kyoto, Japan
A. Ohnishi , Dept. of Comput. Sci., Ritsumeikan Univ., Kyoto, Japan
pp. 624

Program understanding needs during corrective maintenance of large scale software (Abstract)

A.M. Vans , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
A. von Mayrhauser , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
pp. 630

Efficient implementation strategies for the DRB approach in fault-tolerant hypercubes (Abstract)

J. Tan , Dept. of Comput. Sci., Wisconsin Univ., Eau Claire, WI, USA
Chungti Liang , Dept. of Comput. Sci., Wisconsin Univ., Eau Claire, WI, USA
T. Williams , Dept. of Comput. Sci., Wisconsin Univ., Eau Claire, WI, USA
pp. 638

Formal semantics of some functional constructs of the software requirements definition language NDRDL (Abstract)

Jiafu Xu , Dept. of Comput. Sci., Missouri Univ., Rolla, MO, USA
Lijun Dong , Dept. of Comput. Sci., Missouri Univ., Rolla, MO, USA
pp. 642

Towards a formalization of UML class structures in Z (Abstract)

R.B. France , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
M. Shroff , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 646
Session 33: Internet and Applications:Sesson Chair: Vaduvur Bharghavan, University of Illinois, USA

IAuth: An authentication system for Internet applications (Abstract)

Kok-Leong Ng , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
Suan-Suan Chew , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
Chye-Lin Chee , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 654

Java Communication Interfaces for Control Systems (Abstract)

Shengru Tu , University of New Orleans
Shengxi (Sunny) Zhou , University of New Orleans
Zhaoxia (Connie) Huang , University of New Orleans
pp. 660

A Semiformal Correctness Proof of a Network Broadcast Algorithm (Abstract)

Devendra Kumar , The City University of New York
Sitharam S. Iyengar , Louisiana State University
pp. 668
Session 34: Panel: Behind Every Successful Project is a Winning Support Environment

Can a software project be like Einstein? (Abstract)

T. Yamaura , Hitachi Software Eng. Co. Ltd., Yokohama, Japan
pp. 675
91 ms
(Ver )