Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation is carried out automatically by a fixed-point analyzer. The advantage of providin...

I propose a bare-bones look at epistemic models for games, with a focus on update procedures for reaching equilibrium 'zones'. Connections are given with standard update and fixedpoint logics. This is just a 'methods' paper, as readers will want to play with models, uncertainty relations, and announcements different from those used here for the purposes of illustration. 1 Reaching equilibrium N...

Similarity assessment is one of the core tasks in hyperlink analysis. Recently, with the proliferation of applications, e.g., web search and collaborative filtering, SimRank has been a well-studied measure of similarity between two nodes in a graph. It recursively follows the philosophy that “two nodes are similar if they are referenced (have incoming edges) from similar nodes”, which can be vi...