Sciweavers

4356 search results - page 295 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
ICICS
2010
Springer
15 years 4 months ago
Fine-Grained Disclosure of Access Policies
Abstract. In open scenarios, where servers may receive requests to access their services from possibly unknown clients, access control is typically based on the evaluation of (cert...
Claudio Agostino Ardagna, Sabrina De Capitani di V...
ICC
2011
IEEE
225views Communications» more  ICC 2011»
14 years 6 months ago
Throughput-Optimal Half-Duplex Cooperative Scheme with Partial Decode-Forward Relaying
Abstract—We study a cooperative communication system consisting of two users in half duplex mode communicating with one destination over additive white Gaussian noise (AWGN). Coo...
Ahmad Abu Al Haija, Mai Vu
INFOCOM
2012
IEEE
13 years 9 months ago
Extensive analysis and large-scale empirical evaluation of tor bridge discovery
Abstract—Tor is a well-known low-latency anonymous communication system that is able to bypass Internet censorship. However, publicly announced Tor routers are being blocked by v...
Zhen Ling, Junzhou Luo, Wei Yu, Ming Yang, Xinwen ...
WOWMOM
2009
ACM
146views Multimedia» more  WOWMOM 2009»
16 years 1 months ago
When opportunity proceeds from autonomy: A tour-based architecture for disconnected mobile sensors
We consider the case of sparse mobile sensors deployed to implement missions in challenging environments. This paper explores a notion of tour networks that is well suited to circ...
Michel Charpentier, Radim Bartos, Swapnil Bhatia
POPL
2003
ACM
16 years 7 months ago
A generic approach to the static analysis of concurrent programs with procedures
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
Ahmed Bouajjani, Javier Esparza, Tayssir Touili