Controlling reversibility in rhopi20 October 2011In rhopi every step can always be undone, and each process freely moves back and forward. To make...
Towards Reversible Systems12 October 2011The notion of reversible computation is attracting increasing interest because of its applications...
Learning from constraints6 October 2011In this talk, I propose a functional framework to understand the emergence of intelligence in...
Medicare Auctions: A Case Study of Market Design in Washington, DC6 October 2011For papers see www.cramton.umd.edu/papers/health-care
Localised access control policies and global reasoning5 October 2011In distributed systems, the traditional way of enforcing security is by means of access control...