2645 search results - page 249 / 529 » time 2003 |
152
click to vote
APPT
2003
Springer
15 years 12 months ago
2003
Springer
This paper focuses on the problem of scheduling outages to computer systems in complex distributed environments. The interconnected nature of these systems makes scheduling global ...
167
click to vote
ASIACRYPT
2003
Springer
15 years 12 months ago
2003
Springer
The Weil and Tate pairings have been used recently to build new schemes in cryptography. It is known that the Weil pairing takes longer than twice the running time of the Tate pair...
175
click to vote
ASIACRYPT
2003
Springer
15 years 12 months ago
2003
Springer
HAVAL is a cryptographic hash function proposed in 1992 by Zheng, Pieprzyk and Seberry. Its has a structure that is quite similar to other well-known hash functions such as MD4 and...
159
click to vote
ASIAN
2003
Springer
15 years 12 months ago
2003
Springer
Predicate detection is an important problem in distributed systems. Based on the temporal interactions of intervals, there exists a rich class of modalities under which global pred...
143
click to vote
ASIAN
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...