2468 search results - page 204 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
164
click to vote
SIGMETRICS
2009
ACM
15 years 10 months ago
2009
ACM
Disseminating a piece of information, or updates for a piece of information, has been shown to benefit greatly from simple randomized procedures, sometimes referred to as gossipi...
148
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
Scientific data in the life sciences is distributed over various independent multi-format databases and is constantly expanding. We discuss a scenario where a life science research...
135
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
In ongoing research, a collaborative peer network application is being proposed to address the scalability limitations of centralized search engines. Here we introduce a local ada...
127
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, an input/output system identification technique for the Wiener-Hammerstein model and its feedback extension is proposed. In the proposed framework, the identificatio...
148
click to vote
ISIPTA
1999
IEEE
15 years 8 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...