We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
This paper proposes a support tool for designers who have realized the potential benefits of using a scenario-based approach, yet need a more concrete guidance for its implementati...
As the power and influence of nongovernmental organizations (NGOs) in international debates on social and moral matters increases, questions concerning their legitimacy and account...
Abstract. We present a declarative language with a formal semantics for specifying both users' privacy preferences and services' privacy policies. Expressiveness and appl...
Moritz Y. Becker, Alexander Malkis, Laurent Bussar...
One research focus of human-centered teamwork is on advanced decision architectures that can help people make effective and timely decisions. This requires distributed team member...