We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
The paper presents a complete framework for spatial indexing support in a distributed setting. We consider a shared-nothing environment where a set of servers provides independent...
In the clinical environment the segmentation of organs is an increasingly important application and used, for example, to restrict the perfusion analysis to a certain organ. In ord...
Eva Eibenberger, Anja Borsdorf, Andreas Wimmer, Jo...
Applications written for mobile devices have become more and more complex, adjusting to the constantly improving computational power of hardware. With the growing application size ...
In most advanced real-time control applications such as service robots, the tasks have different criticality, flexible timing constraints and variable execution time. For instance...