2632 search results - page 487 / 527 » Alternating Timed Automata |
SIGMETRICS
2004
ACM
15 years 5 months ago
2004
ACM
Previous scalable protocols for downloading large, popular files from a single server include batching and cyclic multicast. With batching, clients wait to begin receiving a reque...
117
click to vote
ACISP
2004
Springer
15 years 5 months ago
2004
Springer
The XTR public key system was introduced at Crypto 2000. Application of XTR in cryptographic protocols leads to substantial savings both in communication and computational overhead...
149
click to vote
CP
2004
Springer
15 years 5 months ago
2004
Springer
The success of stochastic algorithms is often due to their ability to effectively amplify the performance of search heuristics. This is certainly the case with stochastic sampling ...
GI
2004
Springer
15 years 5 months ago
2004
Springer
: The article provides an overview of the legal relationships in Open Source Structures. It shows that – as within all software development and distribution models – different ...
ICALP
2004
Springer
15 years 5 months ago
2004
Springer
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...