Controlling reversibility in rhopi20 ottobre 2011In rhopi every step can always be undone, and each process freely moves back and forward. To make...
Towards Reversible Systems12 ottobre 2011The notion of reversible computation is attracting increasing interest because of its applications...
Learning from constraints6 ottobre 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 ottobre 2011For papers see www.cramton.umd.edu/papers/health-care
Localised access control policies and global reasoning5 ottobre 2011In distributed systems, the traditional way of enforcing security is by means of access control...