Sciweavers

1769 search results - page 170 / 354
» Choice in Dynamic Linking
Sort
View
IEEEARES
2006
IEEE
16 years 2 days ago
Replication Strategies for Reliable Decentralised Storage
Distributed hash tables (DHTs) can be used as the basis of a resilient lookup service in unstable environments: local routing tables are updated to reflected changes in the netwo...
Matthew Leslie, Jim Davies, Todd Huffman
LCN
2006
IEEE
16 years 1 days ago
Transport Protocol Behavior and Energy-Saving Potential
Abstract— We investigate the energy-saving potential of transport protocols. We seek an answer to strategic issues of maximizing energy and bandwidth exploitation, without damagi...
Lefteris Mamatas, Vassilis Tsaoussidis
WPES
2005
ACM
15 years 11 months ago
Determining user privacy preferences by asking the right questions: an automated approach
As the Internet becomes increasingly used for sensitive transactions, the need to protect user privacy becomes more and more important. One fundamental aspect of user privacy is t...
Keith Irwin, Ting Yu
GCC
2005
Springer
15 years 11 months ago
Parallel Web Spiders for Cooperative Information Gathering
Web spider is a widely used approach to obtain information for search engines. As the size of the Web grows, it becomes a natural choice to parallelize the spider’s crawling proc...
Jiewen Luo, Zhongzhi Shi, Maoguang Wang, Wei Wang
SPIN
2005
Springer
15 years 11 months ago
Symbolic Model Checking for Asynchronous Boolean Programs
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
Byron Cook, Daniel Kroening, Natasha Sharygina