1818 search results - page 204 / 364 » Granularity-Adaptive Proof Presentation |
137
Voted
NDSS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a new password authentication and key-exchange protocol suitable for authenticating users and exchanging keys over an untrusted network. The new protocol resis...
142
Voted
CAV
1998
Springer
15 years 8 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
127
Voted
PADS
1998
ACM
15 years 8 months ago
1998
ACM
In this paper we consider the distributed simulation of queueing networks of FCFS servers with infinite buffers, and irreducible Markovian routing. We first show that for either t...
123
Voted
COLT
1998
Springer
15 years 8 months ago
1998
Springer
Empirical studies of multitask learning provide some evidence that the performance of a learning system on its intended targets improves by presenting to the learning system relat...
150
Voted
EUROCRYPT
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. First, we introduce the notion of divertibility as a protocol property as opposed to the existing notion as a language property (see Okamoto, Ohta [OO90]). We give a defi...