Sciweavers

5518 search results - page 848 / 1104
» Rule-Based Service Modeling
Sort
View
CONCUR
2001
Springer
15 years 11 months ago
Typing Mobility in the Seal Calculus
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa...
IH
2001
Springer
15 years 11 months ago
Real World Patterns of Failure in Anonymity Systems
Abstract. We present attacks on the anonymity and pseudonymity provided by a “lonely hearts” dating service and by the HushMail encrypted email system. We move on to discuss so...
Richard Clayton, George Danezis, Markus G. Kuhn
PACT
2001
Springer
15 years 11 months ago
Web-Based Parallel Simulation of AGVs Using Java and JINI
Abstract. The vision of Computational Grids promises an exciting future for the distributed simulation community. In this project we make a small but practical step toward the gran...
Rong Ye, Wen-Jing Hsu, Zehua Liu
SPW
2001
Springer
15 years 11 months ago
On the Negotiation of Access Control Policies
Although the notion of negotiation has been used extensively in secure communication protocols to establish common keying states, protocol modes and services, this notion is only n...
Virgil D. Gligor, Himanshu Khurana, Radostina K. K...
HICSS
2000
IEEE
154views Biometrics» more  HICSS 2000»
15 years 11 months ago
User-Interface Design for Medical Informatics: A Case Study of Kaiser Permanente
User interfaces (Uis) for client-server-and Web-based products and services must enable users around the world to access complex data and functions. Solutions to successful user-i...
Aaron Marcus, Karl Wieser, John Armitage, Volker F...