1600 search results - page 59 / 320 » Problem-solving in open environments |
128
click to vote
HPDC
1996
IEEE
15 years 9 months ago
1996
IEEE
A universal spatial automaton, called WAVE, for highly parallel processing in arbitrary distributed systems is described. The automaton is based on a virus principle where recursi...
113
click to vote
USS
2008
15 years 7 months ago
2008
Voting with cryptographic auditing, sometimes called open-audit voting, has remained, for the most part, a theoretical endeavor. In spite of dozens of fascinating protocols and re...
161
click to vote
EG
2007
15 years 5 months ago
2007
: Electronic voting may be a feasible option for several election environments, from closed-group elections to nation-wide elections. Especially with online voting, people will be ...
155
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
137
click to vote
IEEEPACT
2007
IEEE
15 years 11 months ago
2007
IEEE
Transactional Memory (TM) simplifies parallel programming by supporting atomic and isolated execution of user-identified tasks. To date, TM programming has required the use of l...