2468 search results - page 491 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
108
click to vote
CIKM
2004
Springer
15 years 6 months ago
2004
Springer
Hierarchical peer to peer networks with multiple directory services are an important architecture for large-scale file sharing due to their effectiveness and efficiency. Recent ...
127
click to vote
CCS
2006
ACM
15 years 4 months ago
2006
ACM
Location-hidden services, as offered by anonymity systems such as Tor, allow servers to be operated under a pseudonym. As Tor is an overlay network, servers hosting hidden service...
107
click to vote
NSDI
2004
15 years 2 months ago
2004
Reducing management costs and improving the availability of large-scale distributed systems require automatic replica regeneration, i.e., creating new replicas in response to repl...
103
click to vote
APIN
2006
15 years 1 months ago
2006
AgentTeamwork is a grid-computing middleware system that dispatches a collection of mobile agents to coordinate a user job over remote computing nodes in a decentralized manner. I...
117
click to vote
IVC
2007
15 years 1 months ago
2007
A unified evolutionary approach to coplanar radiotherapy inverse planning is proposed. It consists of a genetic algorithm-based framework that solves with little modification tr...