3130 search results - page 41 / 626 » Collusion without communication |
ENTCS
2008
14 years 12 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
100
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
Due to the long propagation delay and high error rate of acoustic channels, it is very challenging to provide reliable data transfer for time-critical applications in an energy-ef...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper focuses on message transfers across multiple heterogeneous high-performance networks in the NEWMADELEINE Communication Library. NEWMADELEINE features a modular design t...
ISR
2008
14 years 11 months ago
2008
s displays harmed interrupters' task performance, while abstract displays did not. We conclude that y with an abstract representation of a collaborator's workload is opti...
WWW
2005
ACM
16 years 15 days ago
2005
ACM
Reputation systems have been popular in estimating the trustworthiness and predicting the future behavior of nodes in a large-scale distributed system where nodes may transact wit...