562 search results - page 70 / 113 » Concurrent Turing Machines |
130
click to vote
SCN
2010
Springer
14 years 10 months ago
2010
Springer
We introduce a protocol, that we call Human Key Agreement, that allows pairs of humans to establish a key in a (seemingly hopeless) case where no public-key infrastructure is avail...
131
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
Computation plays a major role in decision making. Even if an agent is willing to ascribe a probability to all states and a utility to all outcomes, and maximize expected utility,...
123
click to vote
FCCM
2008
IEEE
15 years 6 months ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...
120
click to vote
SIGMOD
2012
ACM
13 years 2 months ago
2012
ACM
As cloud computing environments become explosively popular, dealing with unpredictable changes, uncertainties, and disturbances in both systems and environments turns out to be on...
100
click to vote
CP
2000
Springer
15 years 3 months ago
2000
Springer
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infi...