This Week's Talks
More detailed information may be found from the following
group seminar pages
Formal Analysis,
Theory and Algorithms Research Group
GIST
Information
Retrieval
Embedded, Networked, and Distributed Systems
Research Corner
Cakes Talks
Week Beginning Monday February 13, 2012
| Monday | Tuesday | Wednesday | Thursday | Friday |
4:00, Sir Alwyn Williams Building, 422 Seminar Room
[FATA talk] Real-time verification with bigraphs with sharing
Michele Sevegnani
Bigraphical reactive systems (BRS) is a recent formalism for modelling the temporal and spatial evolution of computation. A BRS consists of a set of bigraphs and a set of rewrite rules, the latter defines the evolution of the system by specifying how the set of bigraphs can be reconfigured. We have extended the standard formalism to bigraphs with sharing so that spatial locations can overlap. In this talk, we describe a novel application of formal modelling: on-line generation and analysis of formal models of the current network topology, network events and activated access policies. We model both spatial and temporal behaviour of network interactions using bigraphs with sharing. The models are generated in real-time from events such as a new machine joining the network, or from policy activations such as blocking TCP traffic from a given site. Verification is carried out in real-time by a bespoke bigraph reasoning system based on checking predicates that detect undesirable network configurations, or configurations that violate policy constraints.
4:00, Sir Alwyn Williams Building, 422 Seminar Room
TBC - Empirical Measurement of Corporate IT Security Compliance
Brad Glisson
[GIST]Gripping Interaction: Augmenting Mobile Devices with Force-Based Input
Graham Wilson
Evolution put a lot of work into opposable thumbs and, yet, here we are limiting ourselves to “touch” based input for mobile devices. Seriously, your cat can use touch-based interfaces (yes, there’s an app for that). It’s time to get a grip. In that spirit, this talk will give an overview of existing research on both our innate ability to control applied force through the hand as well as how that ability has been utilised for various guises of force-based input in mobile interaction. Examples will include multi-level physical and virtual buttons, phone-sandwiches, “paper” phones and other flexible devices as well as research from my own PhD work using rigid devices augmented with force-sensors. I have studied how walking influences our ability to control applied force, how one-handed multi-digit input on a mobile device could be designed to provide multi-channel input and whether eyes-free mobile force-based interaction is feasible, through the use of only audio feedback.