43264 search results - page 8434 / 8653 » Comparing models of computation |
PAM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. To describe, analyze, and model the topological and structural characteristics of the Internet, researchers use Internet maps constructed at the router or autonomous syst...
109
click to vote
CCS
2009
ACM
15 years 5 months ago
2009
ACM
Network information distribution is a fundamental service for any anonymization network. Even though anonymization and information distribution about the network are two orthogona...
103
click to vote
CCS
2009
ACM
15 years 5 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
CCS
2009
ACM
15 years 5 months ago
2009
ACM
Tor is an anonymous communications network with thousands of router nodes worldwide. An intuition reflected in much of the literature on anonymous communications is that, as an a...
117
click to vote
FOSSACS
2009
Springer
15 years 5 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...