619 search results - page 71 / 124 » interactions 1998 |
CCS
1998
ACM
14 years 1 months ago
1998
ACM
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...
COBUILD
1998
Springer
14 years 1 months ago
1998
Springer
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...
SAC
1998
ACM
14 years 1 months ago
1998
ACM
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...
CP
1998
Springer
14 years 1 months ago
1998
Springer
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...
SIGSOFT
1998
ACM
14 years 1 months ago
1998
ACM
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...