In this paper we tackle some of the most pressing obstacles of the emerging Linked Data Web, namely the quality, timeliness and coherence as well as direct end user benefits. We p...
Sebastian Tramp, Philipp Frischmuth, Timofey Ermil...
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
Abstract: In the last decade, automotive systems changed from traditional mechanical or mechatronical systems towards software intensive systems, because more and more functionalit...
Sandro Schulze, Mario Pukall, Gunter Saake, Tobias...
In this paper, we propose a reliable group communication solution dedicated to a data replication algorithm to adapt it to unreliable environments. The data replication algorithm,...
This paper describes a secure and reliable method for storing data in a distributed hash table (DHT) leveraging the inherent properties of the DHT to provide a secure storage subs...