Sciweavers

4356 search results - page 348 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
CONCUR
2010
Springer
15 years 8 months ago
A Linear Account of Session Types in the Pi Calculus
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
Marco Giunti, Vasco T. Vasconcelos
DASFAA
2010
IEEE
176views Database» more  DASFAA 2010»
15 years 8 months ago
Benchmarking Publish/Subscribe-Based Messaging Systems
Abstract. Publish/subscribe-based messaging systems are used increasingly often as a communication mechanism in data-oriented web applications. Such applications often pose serious...
Kai Sachs, Stefan Appel, Samuel Kounev, Alejandro ...
GLOBECOM
2008
IEEE
15 years 7 months ago
Distance-Enhancing Constrained Codes for Optical Recording Channels
Abstract— This paper proposes distance-enhancing constrained codes for optical recording channels. The repeated minimum transition runlength (RMTR) constraints are first investi...
Kui Cai, Kees A. Schouhamer Immink, Zhiliang Qin
SIGCOMM
2010
ACM
15 years 7 months ago
Road traffic estimation using in-situ acoustic sensing
Abstract-- In this paper, we explore the efficacy of curbside acoustic sensing to estimate road traffic conditions. We formulated a set of hypotheses which attempted to correlate t...
C. Viven Rajendra, Purushottam Kulkarni
GLOBECOM
2008
IEEE
15 years 7 months ago
Adaptive Rate Control for Aggregated VoIP Traffic
Abstract-- This paper presents a novel mechanism for dynamically adapting the quality of congestion controlled Voice Over IP (VoIP) applications on the internet in real time. The s...
Fariza Sabrina, Jean-Marc Valin