BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Modelling Quality Properties of Systems - John Herbert - Universit
 y College\, Cork\, Ireland
DTSTART:20090211T141500Z
DTEND:20090211T151500Z
UID:TALK15375@talks.cam.ac.uk
CONTACT:Mateja Jamnik
DESCRIPTION:Much of system design is concerned with non-functional quality
 \nproperties such as performance\, availability\, reliability and\nsecurit
 y. Formal modelling is usually concerned with functional\nproperties or de
 ep models of individual quality properties.\nPresented is a particular app
 roach to explicit modelling of quality\nproperties of systems. Previous wo
 rk has dealt with modelling of\nquality\nproperties in distributed systems
 \, and currently the modelling of\nquality properties in pervasive computi
 ng applications is being\naddressed. Pervasive computing applications with
  multiple\, disparate\nsources of dynamic data of varying quality present 
 a particular\nchallenge. The goal is to build accurate and effective model
 s for\nend-to-end quality of data\, and to make use of the models for anal
 ysis\nand evaluation of trade-offs. Some of the motivating applications ar
 e\nmedical ones based on wireless patient sensors.\n
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR