1941 search results - page 303 / 389 » Reasoning about Computations Using Two-Levels of Logic |
118
Voted
ICDCS
2003
IEEE
15 years 8 months ago
2003
IEEE
In a system proposed by Plaxton, Rajaraman and Richa (PRR), the expected cost of accessing a replicated object was proved to be asymptotically optimal for a static set of nodes an...
135
Voted
ACMICEC
2006
ACM
15 years 7 months ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
150
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
PODC
2010
ACM
15 years 7 months ago
2010
ACM
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...
135
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper presents a model of collaborative decision-making for groups that involve people and computer agents. The model distinguishes between actions relating to participants...