Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...
Glenn Wurster, Paul C. van Oorschot, Anil Somayaji
An ideal product modeling system should support both part modeling and assembly modeling, instead of just either of them as is the case in most current CAD systems. A good basis f...
Rafael Bidarra, Niels Kranendonk, Alex Noort, Will...
We address the problem of minimal-change integrity maintenance in the context of integrity constraints in relational databases. We assume that integrity-restoration actions are li...
— Despite the many significant advances made in robotics research, few works have focused on the tight integration of task planning and motion control. Most integration works in...
Abstract. We analyze nonlinear cascades in which the driven subsystem is integral input-tostate stable (ISS), and we characterize the admissible integral ISS gains for stability. T...