This paper describes the S3MS.NET run time monitor, a tool that can enforce security policies expressed in a variety of policy languages for .NET desktop or mobile applications. The tool consists of two major parts: a bytecode inliner that rewrites .NET assemblies to insert calls to a policy decision point, and a policy compiler that compiles source policies to executable policy decision points...

We present results for the QCD next-to-leading order (NLO) calculation of single-top t-channel production in the 4-flavour scheme, interfaced to Parton Shower (PS) Monte Carlo programs according to the POWHEG and MC@NLO methods. Comparisons between the two methods, as well as with the corresponding process in the 5-flavour scheme are presented. For the first time results for typical kinematic d...

We present JointViewer, a software tool to aid orthopedics researchers in exploring complex, in-vivo joint kinematics. Given bone-geometry data and bone-motion information, JointViewer models and visualizes bone inter-spacing in the joint. Next, it proposes and displays plausible ligament paths which connect bones together. Both types of models are constructed through a distancefield approach. ...