2468 search results - page 171 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
130
click to vote
KES
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Invertibility attack is a hostile measure to breach watermarking systems. In this paper, a novel watermarking protocol using a one-way hash function and a check of random...
101
click to vote
ICDCS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we examine the problem of balancing load in a large-scale distributed system when information about server loads may be stale. It is well known that sending each req...
126
click to vote
ICDCS
1990
IEEE
15 years 7 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
114
click to vote
PATAT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Within the field of software agents, there has been increasing interest in automating the process of calendar scheduling in recent years. Calendar (or meeting) schedulin...
146
Voted
KDD
2001
ACM
16 years 4 months ago
2001
ACM
Predictive models developed by applying Data Mining techniques are used to improve forecasting accuracy in the airline business. In order to maximize the revenue on a flight, the ...