1. Offshore safety related to computer interfaces and information 2. Risk evaluation • Systems in place•Risk & unwanted incidents ranking• Report incidents and…
1. Spinnaker Using Paxos to Build a Scalable, Consistent, and Highly Available DatastoreJun RaoEugene ShekitaSandeep Tata(IBM Almaden Research Center) 2. Outline Motivation…
Finding Your Voice Clarity. Freedom. Truth. Somik Raha A talk for Center for Child and the Law, Nov 24 2014 Clarity. âRabindranath Tagore âThe small truth has words that…
Slide 1 8/29/2015 Complying by the rules in absence of surveillance: The impact of a group-interested versus self-interested authority Laetitia Mulder, University of Groningen…
Complying by the rules in absence of surveillance: The impact of a group-interested versus self-interested authority Laetitia Mulder, University of Groningen Rob Nelissen,…
Fast Computation of Population Protocols with a Leader Fast Computation of Population Protocols with a Leader Dana Angluin (Yale), James Aspnes (Yale), David Eisenstat (Princeton)…