Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Abstract: The design of effective indicators and indicator systems requires a profound understanding of the relevant business context. Numerous relations and dependencies within an...
Ulrich Frank, David Heise, Heiko Kattenstroth, Han...
This is a demonstration of data coordination in a peer data management system through the employment of distributed triggers. The latter express in a declarative manner individual...
We consider the construction and management of user profiles for an agent-based travel support system, with the goal of providing personalized content for individual users of the ...
Maciej Gawinecki, Zygmunt Vetulani, Minor Gordon, ...
Session guarantees are used to manage replica consistency of a distributed system from the client perspective. This paper defines formally the guarantees, presents and proves safe...
Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyn...