5149 search results - page 474 / 1030 » Timed Asynchronous Distributed Systems |
175
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We consider the problem of self-healing in peer-to-peer networks that are under repeated attack by an omniscient adversary. We assume that the following process continues for up t...
191
click to vote
PPAM
2007
Springer
16 years 22 days ago
2007
Springer
Lattice-Boltzmann (LB) methods are a well-known technique in the context of computational fluid dynamics. By nature, they can easily be parallelized but their adaptation to the Gr...
183
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
156
click to vote
ENTCS
2007
15 years 6 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
186
click to vote
CCGRID
2006
IEEE
16 years 21 days ago
2006
IEEE
— In DHT based P2P systems, various issues such as peer heterogeneity, network topology, and diverse file popularity, may affect the DHT system efficiency. In this paper, we pr...