Sciweavers

3271 search results - page 236 / 655
» Controlled Multicast Framework
Sort
View
ICALP
2004
Springer
15 years 10 months ago
Syntactic Control of Concurrency
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
SAFECOMP
1999
Springer
15 years 9 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...
MM
1994
ACM
125views Multimedia» more  MM 1994»
15 years 9 months ago
Two-Dimensional Scaling Techniques for Adaptive, Rate-Based Transmission Control of Live Audio and Video Streams
: One of the major obstacles facing designers of video conferencing systems is the problem of ameliorating the effects of congestion on interconnected packet-switched networks that...
Terry Talley, Kevin Jeffay
GLOBECOM
2009
IEEE
15 years 8 months ago
Evolutionary Games for Hybrid Additive White Gaussian Noise Multiple Access Control
Abstract-- In this paper, we propose an evolutionary gametheoretic framework for hybrid additive white Gaussian noise multiple access channels. We consider a communication system c...
Quanyan Zhu, Hamidou Tembine, Tamer Basar
COLING
2000
15 years 6 months ago
Querying Temporal Databases Using Controlled Natural Language
Recent years have shown a surge in interest in temporal database systems, which allow users to store time-dependent intbrmation. We present a novel controlled natural language int...
Rani Nelken, Nissim Francez