551 search results - page 95 / 111 » Formalizing the Logic-Automaton Connection |
ICALP
2009
Springer
16 years 1 days ago
2009
Springer
Consider a center possessing a trusted (tamper proof) device that wishes to securely compute a public function over private inputs that are contributed by some network nodes. In ne...
123
click to vote
MOBIHOC
2005
ACM
15 years 11 months ago
2005
ACM
The throughput of wireless networks can be significantly improved by multi-channel communications compared with single-channel communications since the use of multiple channels ca...
101
click to vote
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Detecting clusters or communities in large real-world graphs such as large social or information networks is a problem of considerable interest. In practice, one typically chooses...
CIE
2007
Springer
15 years 6 months ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
BROADNETS
2005
IEEE
15 years 5 months ago
2005
IEEE
— Networks employ link protection to achieve fast recovery from link failures. While the first link failure can be protected using link protection, there are several alternative...