Sciweavers

1665 search results - page 70 / 333
» On Quiescent Reliable Communication
Sort
View
CADE
1998
Springer
13 years 12 months ago
A Proof Environment for the Development of Group Communication Systems
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
Christoph Kreitz, Mark Hayden, Jason Hickey
GLOBECOM
2008
IEEE
13 years 8 months ago
Precoded Spatial Multiplexing MIMO for Inhome Power Line Communications
Abstract—Inhome Power Line Communications (PLC) enables new and highly convenient networking functions without any additional wires to mains-powered devices. Multiple Input Multi...
Daniel Schneider, Joachim Speidel, Lothar Stadelme...
PET
2009
Springer
14 years 2 months ago
Vida: How to Use Bayesian Inference to De-anonymize Persistent Communications
We present the Vida family of abstractions of anonymous communication systems, model them probabilistically and apply Bayesian inference to extract patterns of communications and u...
George Danezis, Carmela Troncoso
HICSS
2003
IEEE
130views Biometrics» more  HICSS 2003»
14 years 1 months ago
Politeness Theory and Computer-Mediated Communication: A Sociolinguistic Approach to Analyzing Relational Messages
This conceptual paper suggests how Politeness Theory [6] – well known in anthropological and linguistic literatures – can contribute to the study of role relations in computer...
David A. Morand, Rosalie J. Ocker
SRDS
2003
IEEE
14 years 29 days ago
Buffer Management in Probabilistic Peer-to-Peer Communication Protocols
In multipeer communication decentralised probabilistic protocols have received a lot of attention because of their robustness against faults in the communication traffic and thei...
Boris Koldehofe