Fast Abstracts

Click Here for more details about the fast abstracts.

 

 

Fast Abstracts Session 1:  Systems

 

E-commerce

 

e-Business Reliability with Web Performance Management
Robert B. Wen, AP Technology Corporation, USA

Development of a Kernel Thread Web Accelerator
Jonggyu Park
Hanna Lim

HagBae Kim

Yonsei University, Korea


Signature Verification System using Pen Pressure for Internet and E-Commerce
Application

Tham Heng Keit
R. Palaniappan

P. Raveendran
Fumiaki Takeda

University of Malaya, Malaysia

 

Real Systems

 

Specification-based Detection of Telecom Service Degradations

A. M. da Silva Filho, State University of Maringa, Brazil
J. T. Saito, State University of Maringa, Brazil


Oracle's Technologies for High Availability
Sasidhar Pendyala, Oracle S/W India Ltd., India

 

High Performance Computing Software Infrastructure For Cervical Cancer Detection and Monitoring

Savitri Bevinakoppa

Royal Melbourne Institute of Techology, Australia

Kailash Narayan

Peter MacCallum Institute, Australia

The House Keeping System of Automated Evaluation of Students' Programming
Reports

Hikofumi Suzuki, Nagano National College of Technology, Japan
Katsumi Wasaki, Shinshu University, Japan
Tatsuo Nakazawa, Nagano National College of Technology, Japan
Yasunari Shidama, Shinshu University, Japan

 

Fast Abstracts Session 2:  FT Technquies

 

 

FT Techniques

 

Testing Programs Computing Numerical Function
Feodor Vainstein, Georgia Institute of Technology, USA

 

 

On the Design of Consistent Executable Assertions for Distributed Software
Arshad Jhumka

Martin Hiller

Vilgot Claesson

Neeraj Suri

Chalmers University, Sweden


Extended Classification of Software Faults Based on Aging
Kalyanaraman Vaidyanathan
Kishor Trivedi

Duke University, USA

 

Detection of Errors Using Aspect-Oriented State Consistency Checks
James Thai
Barry Pekilis

Alexander Lau

Rudolph Seviora

University of Waterloo, Canada

On Design Issue of LAN Topology Using a Dual Path Ethernet Module
IlSeok Han

HagBae Kim

Yonsei University, Korea


Development of a Scalable Clustering Streaming Server for the Internet
Personal-Live Broadcasting

Sangmoon Lee 
Sinjun Kang
Byungseok Min
HagBae Kim

Yonsei University, Korea


Benchmarking


A Look at Benchmarking the Dependability of SW & OS's
Andréas Johansson

Robert Lindström

Neeraj Suri

Chalmers University, Sweden


 

Fast Abstracts Session 3:  Analysis and Testing

 

Reliability Modeling

 

Reliability Optimization for Software Systems With Multiple Applications
Naruemon Wattanapongsakorn, King Mongkut's University of Technology, Thailand


Regression Goodness-Of-Fit for Software Reliability Model Validation
M. Xie 
B. Yang

O. Gaudoin

National University of Singapore, Singapore

 

Enhancing Software Reliability Estimation Using Bayesian Networks and Fault
Trees
Ganesh J. Pai 
Joanne Bechta Dugan

University of Virginia, USA

A New Method for Estimating the Reliability of Software System Based on
Components

Zhao Hui-Qun 
Sun Jing
Gao Yuan

Northeastern University, China

 

Testing


Quantitative Identification of Non-Dependable Modules and Signals in Software

Martin Hiller
Arshad Jhumka
Vilgot Claesson
Neeraj Suri

Chalmers University, Sweden


A Software Tool for Verification of Network Configuration
Ramalingam Swaminathan
Baljinder Sandhu
Nita Goel
Pulak Dhar 

Cistel Technology, Canada


A New Test Data Selection Strategy for Testing Boolean Specifications
Noritaka Kobayashi 
Tatsuhiro Tsuchiya
Tohru Kikuno

Osaka University, Japan