![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Wednesday 11 February 2009, 14:15-15:15
Modelling Quality Properties of Systems
- đ¤ Speaker: John Herbert - University College, Cork, Ireland
- đ Date & Time: Wednesday 11 February 2009, 14:15 - 15:15
- đ Venue: Lecture Theatre 1, Computer Laboratory
Abstract
Much of system design is concerned with non-functional quality properties such as performance, availability, reliability and security. Formal modelling is usually concerned with functional properties or deep models of individual quality properties. Presented is a particular approach to explicit modelling of quality properties of systems. Previous work has dealt with modelling of quality properties in distributed systems, and currently the modelling of quality properties in pervasive computing applications is being addressed. Pervasive computing applications with multiple, disparate sources of dynamic data of varying quality present a particular challenge. The goal is to build accurate and effective models for end-to-end quality of data, and to make use of the models for analysis and evaluation of trade-offs. Some of the motivating applications are medical ones based on wireless patient sensors.
Series This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Chris Davis' list
- computer science
- Department of Computer Science and Technology talks and seminars
- Graduate-Seminars
- Guy Emerson's list
- Interested Talks
- Lecture Theatre 1, Computer Laboratory
- Martin's interesting talks
- School of Technology
- se393's list
- Trust & Technology Initiative - interesting events
- Wednesday Seminars - Department of Computer Science and Technology
- yk449
Note: Ex-directory lists are not shown.