8132 search results - page 1409 / 1627 » Dependability, Abstraction, and Programming |
164
click to vote
EUROPAR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
163
click to vote
ICALP
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
140
click to vote
ICALP
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...
145
click to vote
ICALP
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract. In this paper we present a randomized constant factor approximation algorithm for the problem of computing the optimal cost of the metric Minimum Facility Location proble...
145
click to vote
ICALP
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...