2663 search results - page 381 / 533 » How to Choose a Timing Model |
ECOOPWEXCEPTION
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper shows that asynchronous fault detection is a practical way to reflect partial failure in a network-transparent distributed programming language. In the network...
ASIACRYPT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In this paper, we consider the problem of mutually authenticated key exchanges between a low-power client and a powerful server. We show how the Jakobsson-Pointcheval sch...
ACSAC
2000
IEEE
14 years 1 months ago
2000
IEEE
Access control is an important protection mechanism for information systems. An access control matrix grants subjects privileges to objects. Today, access control matrices are sta...
ESOP
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
RT
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In this paper we show how Metropolis Light Transport can be extended both in the underlying theoretical framework and the algorithmic implementation to incorporate volume...