General Chairs' Message

Program Chairs' Message (PDF)

pp. ix

Organizing Committee (PDF)

pp. x

OPEN SESSION

Open Session

KEYNOTE SESSION K1

Keynote Session K1

PAPER SESSION A1: NETWORKING ENGINEERING

The Development of a Client/Server Architecture for Standardized Medical Application Network Services (Abstract)

Sherif M. Yacoub, West Virginia University

Hany H. Ammar, West Virginia University

pp. 2

PDF

Discriminating Congestion Losses from Wireless Losses using Inter-Arrival Times at the Receiver (Abstract)

Saad Biaz, Texas A&M University

Nitin H. Vaidya, Texas A&M University

pp. 10

PDF

A Comparison of Two Buffer Occupancy Control Algorithms in ATM Networks (Abstract)

Goran Trajkovski, West Virginia University

Bojan Cukic, West Virginia University

Marjan Bogatinovski, Sv. Kiril i Metodij University

pp. 18

PDF

Measurements and Quality of Service Issues in Electronic Commerce Software (Abstract)

Anjali Bhargava, Purdue University

Bharat Bhargava, Purdue University

pp. 26

PDF

PAPER SESSION B1: SOFTWARE AND SYSTEMS ENGINEERING

Using an Object-Relational Knowledge Base for Software Testing (Abstract)

Minghua Xu, University of California at Irvine

Taehyung Wang, University of California at Irvine

Phillip C-Y Sheu, University of California at Irvine

C.V. Ramamoorthy, University of California at Berkeley

pp. 36

PDF

A Reverse Engineering Approach for Software Testing of Object-Oriented Programs (Abstract)

David Kung, The University of Texas at Arlington

Pei Hsia, The University of Texas at Arlington

pp. 42

PDF

Odyssey: A Reuse Environment based on Domain Models (Abstract)

pp. 50

PDF

Systems Engineering for Software-Intensive Projects (Abstract)

Herbert Hecht, SoHaR Incorporated

pp. 58

PDF

PANEL SESSION P1

Software and System Reliability Improvement and Assessment

PAPER SESSION A2: SECURITY ISSUES

CAPSL Interface for the NRL Protocol Analyzer (Abstract)

Stephen Brackin, Arca Systems

Catherine Meadows, Naval Research Laboratory

Jonathan Millen, SRI International

pp. 64

PDF

Accountability Issues in Multihop Message Communication (Abstract)

Sourav Bhattacharya, Arizona State University

Raymond Paul, Arizona State University

pp. 74

PDF

Property Verification for Authentication Protocols (Abstract)

Krishnan. G. Indiradevi, Southern Methodist University

V.S. Suku Nair, Southern Methodist University

Jacob. A. Abraham, University of Texas at Austin

pp. 82

PDF

PAPER SESSION B2: HIGHLY AVAILABLE/RELIABLE SYSTEMS

TMO-Based Programming in COTS Software/Hardware Platforms: A Case Study (Abstract)

Eltefaat Shokri, SoHaR Inc.

Kane Kim, University of California at Irvine

pp. 88

PDF

Can Real-Time Extensions Survive a Windows NT Crash? (Abstract)

Nathalie Caudy, Alcatel Corporate Research Center

Lee McFearin, Alcatel Corporate Research Center

pp. 95

PDF

User-Perceived Availability and Response-Time in Voting-Based Replicated Systems: A Case Study (PDF)

Ing-Ray Chen, Virginia Tech

Ding-Chau Wang, National Cheng Kung University

Chih-Ping Chu, National Cheng Kung University

pp. 103

PANEL SESSION P2

Internet in the Future

PAPER SESSION A3: MULTIMEDIA AND INFORMATION SYSTEMS

Optimization Design of Filter Banks in Subband Image Coding (Abstract)

Yi Shang, University of Missouri-Columbia

Longzhuang Li, University of Missouri-Columbia

pp. 112

PDF

A Protocol Architecture for Guaranteed Quality of Service in Collaborated Multimedia Applications (Abstract)

Ahmed Bashandy, Purdue University

Shahab Baqai, Purdue University

Sahra Sedigh, Purdue University

Husni Fahmi, Purdue University

Arif Ghafoor, Purdue University

Raymon Paul, Pentagon, Washington , D.C.

pp. 120

PDF

A Framework that uses Repositories for Information Systems and Knowledge Integration (Abstract)

Nektarios Georgalas, British Telecom Labs

pp. 128

PDF

Content-Based Image Retrieval Systems (Abstract)

John Zachary, Louisiana State University

Sitharama Iyengar, Louisiana State University

pp. 136

PDF

PAPER SESSION B3: APPLICATION SPECIFIC SOFTWARE & SYSTEMS ENGINEERING

A Software Engineering Methodology to Optimize Caching in Multi-processor DSP Architectures (Abstract)

Frantz Lohier

Patrick Garda

pp. 146

PDF

A Model of Software Development Process for Virtual Environments: Definition and a Case Study (Abstract)

Tereza G. Kirner, Federal University of S?o Carlos

Valéria F. Martins, Federal University of S?o Carlos

pp. 155

PDF

Real-Time Supervisor Modeling for Telecom Systems (Abstract)

Antonio Mendes da Silva Filho, State University of Maringa

Junior Toshiraru Saito, State University of Maringa

Itana Maria de Souza Gimenes, State University of Maringa

pp. 162

PDF

Analytical Design of Reusable Software Components for Evolvable, Embedded Applications (Abstract)

Carol L. Hoover, Carnegie Mellon University

Pradeep K. Khosla, Carnegie Mellon University

Daniel P. Siewiorek, Carnegie Mellon University

pp. 170

PDF

BANQUET SPEECH SESSION

Banquet Speech Session

KEYNOTE SESSION K2

Keynote Session K2

PAPER SESSION A4: SOFTWARE RELIABILITY ISSUES

Software Hazard Mining (Abstract)

Jeffrey Voas, Reliable Software Technologies

pp. 180

PDF

Identifying Modules Which Do Not Propagate Errors (Abstract)

Taghi M. Khoshgoftaar, Florida Atlantic University

Edward B. Allen, Florida Atlantic University

Wai Hong Tang, Florida Atlantic University

Christoph C. Michael, Reliable Software Technologies Corp.

Jeffrey M. Voas, Reliable Software Technologies Corp.

pp. 185

PDF

Locating Program Features using Execution Slices (Abstract)

W. Eric Wong, Bellcore

Joseph R. Horgan, Bellcore

Swapna S. Gokhale, University of California at Riverside

Kishor S. Trivedi, Duke University

pp. 194

PDF

Software Component Reliability Analysis (Abstract)

William W. Everett, SPRE Inc.

pp. 204

PDF

Measurements for Managing Software Reliability (Abstract)

Karama Kanoun, LAAS-CNRS

pp. 212

PDF

PAPER SESSION B4: SOFTWARE ENGINEERING AND FORMAL APPROACHES

An Overview of HATS: A Language Independent High Assurance Transformation System (Abstract)

Victor L. Winter, Sandia National Laboratories

pp. 222

PDF

Forward Dynamic Object-Oriented Program Slicing (Abstract)

Yeong-Tae Song, The University of Texas at Dallas

Dung T. Huynh, The University of Texas at Dallas

pp. 230

PDF

Extension and Partitioning of Use Cases in Support of Formal Object Modeling (Abstract)

J. Ryoo, University of Missouri at Kansas City

J.F. Stach, University of Missouri at Kansas City

K. Park, University of Missouri at Kansas City

pp. 238

PDF

Generalized Loop-Unrolling: A Method for Program Speedup (Abstract)

J. C. Huang, The University of Houston

T. Leng, The University of Houston

pp. 244

PDF

SequenceL for the Information Power Grid (Abstract)

Daniel E. Cooke, Texas Tech University

pp. 249

PDF

PANEL SESSION P3

Systems and Software Engineering Using COTS Components

INDUSTRY TRACK A5: STATE-OF-THE-ART INDUSTRY TECHNOLOGIES

Wireless Networks Self Engineering Engine (Abstract)

Hee Lee, Nortel Networks

Surnjani Djoko, Nortel Networks

Hua Jiang, Nortel Networks

Sairam Subramanian, Nortel Networks

Kalyan Basu, Nortel Networks

pp. 258

PDF

DSP Technology for Building High Performance, Long-Lived Consumer Media Appliances

Soldier Phone: An Innovative Approach To Wireless Multimedia Communications (Abstract)

Raymond Bittel, Rockwell Collins Government Systems

Edgar Caples, Rockwell Collins Government Systems

C. David Young, Rockwell Collins Government Systems

Frank Loso, US Army

pp. 264

PDF

Performance of Windows NT Porting Environments (Abstract)

John Blanton, Alcatel Corporate Research Center

Gregory H. Aicklen, Alcatel Corporate Research Center

pp. 269

PDF

PAPER SESSION S4: TOOLS FOR SOFTWARE AND SYSTEMS

Integrating Project Planning and Process Modeling for Software Development (Abstract)

Lawrance M.L. Chung, The Hong Kong Polytechnic University

Keith C.C. Chan, The Hong Kong Polytechnic University

pp. 276

PDF

A Model of Correlated Team Behavior in a Software Development Environment (Abstract)

Thomas E. Potok, Oak Ridge National Laboratory

Mladen A. Vouk, North Carolina State University at Raleigh

pp. 280

PDF

NFR-Assistant: Tool Support for Achieving Quality (Abstract)

Quan Tran, University of Texas at Dallas

Lawrence Chung, University of Texas at Dallas

pp. 284

PDF

A Simulation Environment for Dimensioning Telecommunication Management Systems (Abstract)

Gérard Damm, Alcatel Corporate Research Centre

Stefano Giorcelli, Alcatel Corporate Research Centre

Guy Fouquet, Alcatel Corporate Research Centre

pp. 290

PDF

Author Index (PDF)

pp. 296