Sciweavers

5012 search results - page 518 / 1003
» Distributed Error Correction
Sort
View
FORTE
2007
15 years 8 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
NIPS
2004
15 years 8 months ago
Newscast EM
We propose a gossip-based distributed algorithm for Gaussian mixture learning, Newscast EM. The algorithm operates on network topologies where each node observes a local quantity ...
Wojtek Kowalczyk, Nikos A. Vlassis
ICAI
2003
15 years 8 months ago
The Language Dynamics Equations of Population-Based Transition - A Scenario for Creolization
Children will develop their parental languages correctly, since language learners come to obtain the one which they contact most in the community. At the same time, children would ...
Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo
SNPD
2003
15 years 8 months ago
Stream Processing on the Grid: an Array Stream Transforming Language
Specific requirements of stream processing on the Grid are discussed. We argue that when the stream processing paradigm is used for cluster computing, the processing components c...
Alexander V. Shafarenko
DAGSTUHL
1994
15 years 8 months ago
The Rampart Toolkit for Building High-Integrity Services
Abstract. Rampart is a toolkit of protocols to facilitate the development of high-integrity services, i.e., distributed services that retain their availability and correctness desp...
Michael K. Reiter