The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...
r introduces an abstract framework for the specification of components with multiple require and provide interfaces that allows the specification of multiple access to a single ...
We propose a design of a client reputation system that can be used to reduce unwanted traffic in the Internet. Many reputation systems proposed in the trust literature are provid...
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...
H.-Christian Estler, Thomas Ruhroth, Heike Wehrhei...
The purpose of this note is to sharpen the results in Bouyssou and Pirlot (2005) giving an axiomatic characterization of concordance relations. We show how the conditions used in ...