23589 search results - page 92 / 4718 » Uncheatable Distributed Computations |
130
Voted
IDC
2009
Springer
15 years 9 days ago
2009
Springer
Emergence is a key element in the research of multi-agent systems. Emergent properties provide higher level features to a system formed of simpler individuals. So far, emergence ha...
218
Voted
SPAA
2012
ACM
13 years 5 months ago
2012
ACM
In this paper we study distributed algorithms on massive graphs where links represent a particular relationship between nodes (for instance, nodes may represent phone numbers and ...
107
Voted
ACL
2010
15 years 19 days ago
2010
Strictly Piecewise (SP) languages are a subclass of regular languages which encode certain kinds of long-distance dependencies that are found in natural languages. Like the classe...
128
click to vote
FUIN
2010
14 years 12 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
128
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We examine the combination of two directions in the field of privacy concerning computations over distributed private inputs – secure function evaluation (SFE) and differential...