valia

Systems and Security Modelling: From Theory to Practice (Really) by Professor David J. Pym

Abstract: I describe a mathematical systems modelling framework that is motivated by a desire to represent and reason about properties of (large-scale) systems situated in dynamic environments. Motivated by the concepts of distributed systems theory, the framework has at its core mathematical treatments of environment, location, resource, and process, and comes along with a separating … Systems and Security Modelling: From Theory to Practice (Really) by Professor David J. Pym

The Dependability of Complex Socio-technical Infrastructure & Smart Grids and Smart Meters: Game Changer, or Serious Danger? by Prof. Ross Anderson

DLS Programme Lecture 1: The Dependability of Complex Socio-technical Infrastructure Abstract: We have all become dependent on large complex systems such as Facebook, the bank payment system and even the Internet itself. Keeping these systems dependable in the face of accidents, errors and malice is one of the most important, and interesting, challenges facing engineers … The Dependability of Complex Socio-technical Infrastructure & Smart Grids and Smart Meters: Game Changer, or Serious Danger? by Prof. Ross Anderson

Learning hard chart constraints for efficient context-free parsing by Brian Roark – Oregon Health & Science University

Abstract: In this talk, I’ll present some recent work in learning hard constraints for cells within a context-free parsing chart, to reduce parsing time. Each cell in the chart represents one of the O(n^2) substrings of the input string, and characteristics of each substring can be used to decide how much work to do in … Learning hard chart constraints for efficient context-free parsing by Brian Roark – Oregon Health & Science University

Exploring semantics in situation identification using context lattices by Dr.Juan Ye

Pervasive systems must offer an open, extensible, and evolving portfolio of services which integrate sensor data from a diverse range of sources. The core challenge is to provide appropriate and consistent adaptive behaviours for these services in the face of huge volumes of sensor data exhibiting varying degrees of precision, accuracy and dynamism. Situation identification is an enabling technology that resolves … Exploring semantics in situation identification using context lattices by Dr.Juan Ye