We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
This paper describes methods for recovering time-varying shape and motion of nonrigid 3D objects from uncalibrated 2D point tracks. For example, given a video recording of a talkin...
Lorenzo Torresani, Aaron Hertzmann, Christoph Breg...
In order to maximize resource utilization as well as providing trust management in P2P computing environments, we propose a novel framework - Trust-Incentive Service Management (T...
We present a novel technique for the animation of turbulent fluids by coupling a procedural turbulence model with a numerical fluid solver to introduce subgrid-scale flow detail. ...
Rahul Narain, Jason Sewall, Mark Carlson, Ming C. ...