The Community for Technology Leaders
Application-Specific Software Engineering and Technology, IEEE Workshop on (1999)
Richardson, Texas
Mar. 24, 1999 to Mar. 27, 1999
ISBN: 0-7695-0122-2
TABLE OF CONTENTS
OPEN SESSION

Open Session (PDF)

pp. null
KEYNOTE SESSION K1
PAPER SESSION A1: NETWORKING ENGINEERING

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
PAPER SESSION B1: SOFTWARE AND SYSTEMS ENGINEERING

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

Taehyung Wang , University of California at Irvine
Minghua Xu , University of California at Irvine
C.V. Ramamoorthy , University of California at Berkeley
Phillip C-Y Sheu , University of California at Irvine
pp. 36

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
PANEL SESSION P1
PAPER SESSION A2: SECURITY ISSUES

CAPSL Interface for the NRL Protocol Analyzer (Abstract)

Stephen Brackin , Arca Systems
Jonathan Millen , SRI International
Catherine Meadows , Naval Research Laboratory
pp. 64

Accountability Issues in Multihop Message Communication (Abstract)

Raymond Paul , Arizona State University
Sourav Bhattacharya , Arizona State University
pp. 74

Property Verification for Authentication Protocols (Abstract)

V.S. Suku Nair , Southern Methodist University
Krishnan. G. Indiradevi , Southern Methodist University
Jacob. A. Abraham , University of Texas at Austin
pp. 82
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

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

Lee McFearin , Alcatel Corporate Research Center
Nathalie Caudy , Alcatel Corporate Research Center
pp. 95

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

Ding-Chau Wang , National Cheng Kung University
Chih-Ping Chu , National Cheng Kung University
Ing-Ray Chen , Virginia Tech
pp. 103
PANEL SESSION P2
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

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

Raymon Paul , Pentagon, Washington , D.C.
Arif Ghafoor , Purdue University
Sahra Sedigh , Purdue University
Shahab Baqai , Purdue University
Ahmed Bashandy , Purdue University
Husni Fahmi , Purdue University
pp. 120

Content-Based Image Retrieval Systems (Abstract)

John Zachary , Louisiana State University
Sitharama Iyengar , Louisiana State University
pp. 136
PAPER SESSION B3: APPLICATION SPECIFIC SOFTWARE & SYSTEMS ENGINEERING

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

Valéria F. Martins , Federal University of S?o Carlos
Tereza G. Kirner , Federal University of S?o Carlos
pp. 155

Real-Time Supervisor Modeling for Telecom Systems (Abstract)

Junior Toshiraru Saito , State University of Maringa
Antonio Mendes da Silva Filho , State University of Maringa
Itana Maria de Souza Gimenes , State University of Maringa
pp. 162

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

Carol L. Hoover , Carnegie Mellon University
Daniel P. Siewiorek , Carnegie Mellon University
Pradeep K. Khosla , Carnegie Mellon University
pp. 170
BANQUET SPEECH SESSION
KEYNOTE SESSION K2
PAPER SESSION A4: SOFTWARE RELIABILITY ISSUES

Software Hazard Mining (Abstract)

Jeffrey Voas , Reliable Software Technologies
pp. 180

Identifying Modules Which Do Not Propagate Errors (Abstract)

Wai Hong Tang , Florida Atlantic University
Jeffrey M. Voas , Reliable Software Technologies Corp.
Christoph C. Michael , Reliable Software Technologies Corp.
Taghi M. Khoshgoftaar , Florida Atlantic University
Edward B. Allen , Florida Atlantic University
pp. 185

Locating Program Features using Execution Slices (Abstract)

Joseph R. Horgan , Bellcore
Kishor S. Trivedi , Duke University
Swapna S. Gokhale , University of California at Riverside
W. Eric Wong , Bellcore
pp. 194
PAPER SESSION B4: SOFTWARE ENGINEERING AND FORMAL APPROACHES

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

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

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

J. C. Huang , The University of Houston
T. Leng , The University of Houston
pp. 244

SequenceL for the Information Power Grid (Abstract)

Daniel E. Cooke , Texas Tech University
pp. 249
PANEL SESSION P3
INDUSTRY TRACK A5: STATE-OF-THE-ART INDUSTRY TECHNOLOGIES

Wireless Networks Self Engineering Engine (Abstract)

Hee Lee , Nortel Networks
Hua Jiang , Nortel Networks
Surnjani Djoko , Nortel Networks
Sairam Subramanian , Nortel Networks
Kalyan Basu , Nortel Networks
pp. 258

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

Raymond Bittel , Rockwell Collins Government Systems
Frank Loso , US Army
Edgar Caples , Rockwell Collins Government Systems
C. David Young , Rockwell Collins Government Systems
pp. 264

Performance of Windows NT Porting Environments (Abstract)

John Blanton , Alcatel Corporate Research Center
Gregory H. Aicklen , Alcatel Corporate Research Center
pp. 269
PAPER SESSION S4: TOOLS FOR SOFTWARE AND SYSTEMS

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

Keith C.C. Chan , The Hong Kong Polytechnic University
Lawrance M.L. Chung , The Hong Kong Polytechnic University
pp. 276

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

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

Quan Tran , University of Texas at Dallas
Lawrence Chung , University of Texas at Dallas
pp. 284

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

Author Index (PDF)

pp. 296
107 ms
(Ver )