: When traveling and visiting new places, tourists are mobile as they wander around and follow tours through cities and landscapes. Location-based mobile systems today typically pr...
Abstract: The eDonkey 2000 file-sharing network is one of the most successful peerto-peer file-sharing applications, especially in Germany. The network itself is a hybrid peer-to...
Oliver Heckmann, Axel Bock, Andreas Mauthe, Ralf S...
Broadening adoption of social media applications within the enterprise offers a new and valuable data source for insight into the social structure of organizations. Social media ap...
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
Due to their flexibility, proxies have been used for various purposes in standalone and distributed applications. More specifically, object-level proxies support fine grained capa...