MacroBase: Analytic Monitoring for the Internet of Things

MacroBase: Analytic Monitoring for the Internet of Things - Bailis et al. 2016 It looks like Peter Alvaro is not the only one to be doing some industrial collaboration recently! MacroBase is the result of Peter Bailis' collaboration with Cambridge Mobile Telematics (CMT), an IoT company. The topic at hand is analytic monitoring - detecting … Continue reading MacroBase: Analytic Monitoring for the Internet of Things

Experimental Security Analysis of a Modern Automobile

Experimental Security Analysis of a Modern Automobile - Foster et al . 2010 Today's paper gives us a frightening insight into the (lack of) security of the distributed computing systems controlling modern cars. The results described were obtained from testing a 2009 model year car. Surely today's cars are better than this? In the UK, … Continue reading Experimental Security Analysis of a Modern Automobile

Symmetry Reduction Enables Model Checking of More Complex Emerging Behaviours of Swarm Navigation Algorithms

Symmetry Reduction Enables Model Checking of More Complex Emerging Behaviours of Swarm Navigation Algorithms - Antuñya et al. 2015 Don't let the title put you off - this paper is all about robot swarms! Previously we looked at some nature-inspired optimisation algorithms, including Particle Swarm Optimisation which draws inspiration from the behaviour of flocks of … Continue reading Symmetry Reduction Enables Model Checking of More Complex Emerging Behaviours of Swarm Navigation Algorithms

Distributed Information Processing in Biological and Computational Systems

Distributed Information Processing in Biological and Computational Systems - Navlakah & Bar-Joseph 2015 With thanks to Mark Allen for pointing me at today's paper choice via twitter. This is the last of the posts in the 'nature-inspired' series for a while, and we're moving on from optimisation problems to look at the way we build … Continue reading Distributed Information Processing in Biological and Computational Systems

TAG: A Tiny Aggregation Service for ad-hoc Sensor Networks

TAG: A Tiny Aggregation Service for ad-hoc Sensor Networks - Madden et al. 2002 ** updated broken link above ** This is the third in a series of 5 'desert island paper' selections from Peter Alvaro. The topics discussed in this paper seem so highly relevant to the current hope and excitement for the Internet … Continue reading TAG: A Tiny Aggregation Service for ad-hoc Sensor Networks