5334 search results - page 281 / 1067 » Communicating quantum processes |
143
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
152
click to vote
ICISC
2009
15 years 3 months ago
2009
At CANS 2008, Mashatan and Stinson suggested a message recognition protocol for ad hoc pervasive networks. The protocol provides a procedure to resynchronize in case of a (possibly...
180
click to vote
SPAA
2009
ACM
16 years 29 days ago
2009
ACM
We consider bit communication complexity of binary consensus in synchronous message passing systems with processes prone to crashes. A distributed algorithm is locally scalable wh...
143
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
Atomic Broadcast (where all processes deliver broadcast messages in the same order) is a very useful group communication primitive for building fault-tolerant distributed systems....
168
click to vote
ESORICS
2009
Springer
16 years 29 days ago
2009
Springer
For nearest neighbor search, a user queries a server for nearby points of interest (POIs) with his/her location information. Our aim is to protect the user’s sensitive informatio...