This position paper supports the view that a model based on shared objects is an attractive alternative to message passing for structuring distributed applications and that a distr...
Pierre-Yves Chevalier, Daniel Hagimont, Sacha Krak...
Abstract. The contribution presents an integrated system for automatic acquisition of a human torso model, using different input images. The output model consists of two free-form ...
We address the problem of finding indirect overlay paths that reduce the latency between pairs of nodes in an overlay. To this end we propose to rely on an Internet Coordinate Sys...
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
abstract. We investigate an alternative presentation of classical and positive modal logic where the coalgebraic cover modality is taken as primitive. For each logic, we present a ...