We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Reputation systems facilitate cooperation in open environments. Centrality-based reputation systems use centrality measures to rank individuals, i.e., compute their reputation bas...
Object-based programming is becoming more and more popular and is currently conquering the world of distributed programming models. In object-based systems access control is often...
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
In most object-oriented languages and systems, objects must belong to a single most specific class. Relaxing this requirement, also known as role modeling, has been proposed by sev...
Gerti Kappel, Werner Retschitzegger, Wieland Schwi...