We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
Patrick Lincoln, John C. Mitchell, Mark Mitchell, ...
Traditional graphical user interfaces (GUIs) are mainly designed for an environment consisting of a single display and a set of single input devices. However, in the near future we...
This paper presents a workflow specification language developed in the WIDE project. The language provides a rich organisation model, an information model including presentation d...
Daniel K. C. Chan, Jochem Vonk, Gabriel Sanchez, P...
In this paper we describe a paradigm for contentfocused matchmaking, based on a recently proposed model for constraint acquisition-and-satisfaction. Matchmaking agents are conceiv...
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...