12194 search results - page 86 / 2439 » cans 2010 |
ENTCS
2007
13 years 8 months ago
2007
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...
ENTCS
2007
13 years 8 months ago
2007
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 ...
ENTCS
2007
13 years 8 months ago
2007
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...
ENTCS
2007
13 years 8 months ago
2007
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...
EOR
2007
13 years 8 months ago
2007
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 ...