Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
— We present a dynamic optimization approach to save energy in Wireless Sensor Networks (WSN) at the link level. One of the main sources of energy waste in a WSN is idle listenin...
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...
We propose a nonequilibrium sampling method for computing free energy profiles along a given reaction coordinate. The method consists of two parts: a controlled Langevin sampler ...
Juan C. Latorre, Carsten Hartmann, Christof Sch&uu...
This paper presents a technique to enhance a kinematically controlled virtual character with a generic class of dynamic responses to small perturbations. Given an input motion seq...