Abstract. Dynamo advocates that pre-deployment validation and testing are intrinsically inadequate for tackling the ephemeral and rapidly changing context in which service oriented...
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, ...
Abstract. Large horizontal displays provide new opportunities to support individual and collaborative activities such as creativity and organizational tasks. We present Interface C...
Uta Hinrichs, M. Sheelagh T. Carpendale, Stacey D....
In this paper we describe a two-part study that was used to establish the requirements for an interactive museum environment for children aged between 5 and 10. The paper outlines...
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits...