27354 search results - page 4580 / 5471 » Distributed And Parallel Computing |
183
click to vote
ICALP
2004
Springer
16 years 1 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
184
click to vote
ICCS
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Lately, grid research has focused its attention on interoperability and standards, such as Grid Services, in order to facilitate resource virtualization, and to accommoda...
160
Voted
IH
2004
Springer
16 years 1 months ago
2004
Springer
We consider methods for answering reliably the question of whether an image contains hidden data; the focus is on grayscale bitmap images and simple LSB steganography. Using a dist...
180
Voted
IPTPS
2004
Springer
16 years 1 months ago
2004
Springer
In this paper, we model the cost incurred by each peer participating in a peer-to-peer network. Such a cost model allows to gauge potential disincentives for peers to collaborate,...
194
click to vote
MMAS
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. In order to construct and deploy massively multiagent systems, we must address one of the fundamental issues of distributed systems, the possibility of partial failures. ...