Fourth International Workshop on Performability Modeling of Computer and Communication Systems
(PMCCS4)

September 4-6, 1998
College of William and Mary, Williamsburg, VA, USA
(William and Mary's University Center, Room Chesapeake B)

PROGRAM

Friday

7:00pm
-
10:00pm
 registration (Hospitality House, William and Mary Parlor)
8:00pm
-
10:00pm
 reception (Hospitality House, Courtyard)

Saturday

8:15am
-
8:45am
 workshop breakfast and registration
8:45am
-
9:00am
 opening remarks
9:00am
-
10:30am
 Session: Estimation and Simulation of Rare Event Probabilities
10:30am
-
11:00am
 coffee
11:00am
-
12:30pm
 Session: Transience in Performability Models
12:30pm
-
2:00pm
 lunch (Chesapeake C)
2:00pm
-
3:30pm
 Session: Fluid Models and Queues
3:30pm
-
4:00pm
 coffee
4:00pm
-
5:30pm
 Session: World Wide Web Servers and Databases
7:30pm
 banquet (Colonial Williamsburg, Williamsburg Lodge, Room F)

Sunday

8:30am
-
9:00am
 workshop breakfast and registration
9:00am
-
11:00am
 Session: Methodology for Stationary Measures
11:00am
-
11:30am
 coffee
11:30am
-
12:30pm
 Session: Representation of Performability Models
12:30pm
-
2:00pm
 lunch (Chesapeake C)
2:00pm
-
3:30pm
 Session: Telecommunications and Cellular Networks
3:30pm
-
3:45pm
 closing session
Each talk consists of 25 minutes (20 minutes presentation followed by 5 minutes for questions). At the end of each session there is a 15 minutes discussion.

Session: Estimation and Simulation of Rare Event Probabilities
Saturday, 9:00 - 10:30

``Establishing ultra reliability by fault injection experiment''
A. White

``Efficient estimation of overflow probabilities in queues with breakdown''
D.P. Kroese and V.F. Nicola

``Can importance sampling be used for general network simulations?''
P. E. Heegaard

Session: Transience in Performability Models
Saturday, 11:00 - 12:30

``An efficient approximation technique for calculating transient reward measures''
E. de Souza e Silva, R. M.M. Leao, R. Marie.

``Using time independent information for estimating time dependent performability measures in regenerative systems''
P. Shahabuddin

``Metrics for representing performance as rewards in performability models''
A. P. A. van Moorsel and R. Boucherie

Session: Fluid Models and Queues
Saturday, 2:00 - 3:30

``An upperbound on overflow probability in transient source systems''
T.F. Reid and V.G. Kulkarni

``Limiting results for multi-server systems with breakdown''
I. Mitrani

``Approximated analysis of a fault-tolerant join-the-shortest-queue policy''
G. Li and G. Ciardo

Session: World Wide Web Servers and Databases
Saturday, 4:00 - 5:30

``Analysis of admission control and load balancing in scalable Web server''
M.S. Squillante and L. Zhang

``Petri-net based analysis of windowing mechanisms for accessing WWW servers''
A. Ost, B.R. Haverkort

``Dataplacement using performability evaluation in very large databases''
L.J.N. Franken

Session: Methodology for Stationary Measures
Sunday, 9:00 - 11:00

``Simultaneous performance and sensitivity analysis with extended MVA algorithms''
J. Luethi

``Projection: An efficient solution algorithm for a class of quasi-birth-death processes''
G. Ciardo and E. Smirni.

``Avoiding fill-in in the analysis of Markov regenerative stochastic Petri nets''
R. German

``Extending a response time approximation technique to colored stochastic Petri nets''
J. Freiheit and A. Zimmermann

Session: Representation of Performability Models
Sunday, 11:30 - 12:30

``Extension of message sequence charts to describe temporal behavior''
O. Kluge

``Compact representation of large performability models based on extended BDD's''
M. Siegle

Session: Telecommunications and Cellular Networks
Sunday, 2:00 - 3:30

``TCP performance over unspecified bit rate service''
M.A. Qureshi and B. Samadi

``Multiplexing of VBR traffic in networks with fluctuating capacity''
J. F. Meyer

``Performability analysis of channel allocation with channel recovery strategy in cellular networks''
Y. Ma, C. W. Ro, K.S. Trivedi

Last updated: August 4, 1998. Report suggestions and problems to: ciardo@cs.wm.edu