h-inf_2008_9

Source URL: www.coe.int

• Digital rights
• Internet privacy
• Internet access
• Privacy
• Internet
• Computing
• Human rights
• Web blocking in the United Kingdom
• Net neutrality law

Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China

Source URL: flint.cs.yale.edu

• Concurrency control
• Linearizability
• Non-blocking algorithm
• Monitor
• Lock
• Deadlock
• Synchronization
• Thread
• Liveness

Dynamic Blocking and Collapsing for Gibbs Sampling Deepak Venugopal Department of Computer Science The University of Texas at Dallas Richardson, TX 75080, USA

Source URL: www.hlt.utdallas.edu

Linear Loss Function for the Network Blocking Game: An Efficient Model for Measuring Network Robustness and Link Criticality Aron Laszka1 , D´avid Szeszl´er2 , and Levente Butty´an1 1

Source URL: aronlaszka.com

Design of a blocking-resistant anonymity system Roger Dingledine and Nick Mathewson , Tor Tech ReportNovember 2006

Source URL: research.torproject.org

• Computing
• Internet
• Computer security
• Internet privacy
• Computer network security
• Computer networking
• Proxy servers
• Internet protocols
• Tor
• Proxy list
• Anonymizer
• Open proxy

Mechanized Verification of 
 Fine-grained Concurrent Programs memoria software v3.qxd Ilya Sergey

Source URL: ilyasergey.net

• Computing
• Software
• Concurrency control
• Separation logic
• Lock
• Concurrency
• Non-blocking algorithm
• Concurrent computing
• Parallel computing
• Linearizability
• Go

How the Great Firewall of China is Blocking Tor Philipp Winter and Stefan Lindskog Karlstad University {philwint, steflind}@kau.se Abstract

Source URL: nymity.ch

Blocking Unwanted Calls Though our office works diligently to prosecute callers who make illegal telemarketing and scam calls, our efforts alone cannot stop the problem. One solution is to stop intrusive calls before the

Source URL: www.in.gov

A note on blocking visibility between points Adrian Dumitrescu∗ J´anos Pach† G´eza T´oth‡

Source URL: www.cs.uwm.edu