Map of the conference venue. A more detailed map for Claude Gibb Hall is available here. A map of the city is also useful.


Thursday 14th July
9.30	Welcome	Nigel Thomas
9.45	Keynote 1	Boudewijn Haverkort (joint work with Lucia Cloth)	Model Checking for Survivability!
10.35	Coffee Break
	Session 1	Security and Reliability	Chair: Karim Djemame (University of Leeds)
11.05	Talk 1	E.Grishikashvili Pereira, R. Pereira, A. Taleb-Bendiab	Fault Detection Mechanisms for Autonomic Distributed Applications
11.30	Talk 2	Christiaan Lamprecht and Aad van Moorsel	Performance Measurement of Web Services Security Software
11.55	Talk 3	Sam St. Clair-Ford, Mohamed Ould-Khaoua, Lewis Mackenzie	The Impact of Network Bandwidth on Worm Propagation
12.20	Talk 4	Stephen A. Jarvis, Guang Tan, Daniel P. Spooner and Graham R. Nudd	Constructing Reliable and Efficient Overlays for Peer-to-Peer Live Media Streaming
12.45	Lunch
	Session 2	Theory and practice	Chair: Jeremy Bradley (Imperial College London)
1.45	Talk 5	Richard G. Clegg	A Practical Guide to Measuring the Hurst Parameter
2.10	Talk 6	Paulo Fernandes, Afonso Sales, Thais Webber	An Alternative Algorithm to Multiply a Vector by a Kronecker Represented Descriptor
2.35	Talk 7	Arpad Tari, Miklos Telek and Peter Buchholz	A moment-based estimation method for extreme probabilities
3.00	Tea Break
	Session 3	Applications 1	Chair: Aad van Moorsel (University of Newcastle)
3.30	Talk 8	R. S. Al-Qassas, M. Ould-Khaoua and L.M. Mackenzie	A New End-to-End Traffic-Aware Routing for MANETs
3.55	Talk 9	Shihang Yan, Geyong Min, Irfan Awan	Effective Admission and Congestion Control for Interconnection Networks in Cluster Computing Systems
4.20	Talk 10	Lan Wang, Geyong Min, Irfan Awan	Analysis of Active Queue Management under Two Classes of Traffic
4.45	Talk 11	S. H. A. Wahab, M. Ould-Khaoua and S. Papanastasiou	Performance Analysis of the LWQ QoS Model in MANETs
5.10	Close

Friday 15th July
	Session 4	Grid and Web Services	Chair: Stephen Jarvis (University of Warwick)
9.30	Talk 12	Yuhui Chen, Alexander Romanovsky, Peter Li	Web Services Dependability and Performance Monitoring
9.55	Talk 13	James Padgett, Karim Djemame and Peter Dew	Predictive Run-time Adaptation for Service Level Agreements on the Grid
10.20	Talk 14	Andreas Schmietendorf, Reiner R. Dumke, Stanimir Stojanov	Performance Aspects in Web Service-based Integration Solutions
10.45	Coffee Break
	Session 5	Applications 2	Chair: Geyong Min (Bradford University)
11.15	Talk 15	Wei Li, Rod Fretwell, Demetres Kouvatsos	Performance Distributions of Continuous Time Single Server Queueing Model with Batch Renewal Arrivals: GIG/M/1/N
11.40	Talk 16	Saher S Manaseer and M. Ould-Khaoua	A New Backoff Algorithm for MAC Protocol in MANETs
12.05	Talk 17	Burak Simsek, Katinka Wolter and Hakan Coskun	Analysis of the QBSS Load Element Parameters of 802.11e for a priori Estimation of Service Quality
12.30	Talk 18	S. Bani-Mohammad, M. Ould-Khaoua and I. Ababneh	Performance Evaluation of Processor Allocation Strategies in the 2-Dimensional Mesh Network
12.55	Lunch
1.55
2.05	Keynote 2	Jeremy Bradley	The Future is Collaborative Performance Engineering
2.55	Closing remarks	Nigel Thomas
3.00	End