Sciweavers

3967 search results - page 39 / 794
» Distributed Games and Distributed Control for Asynchronous S...
Sort
View
CONCUR
1997
Springer
15 years 6 months ago
Modularity for Timed and Hybrid Systems
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
Rajeev Alur, Thomas A. Henzinger
101
Voted
WWW
2005
ACM
15 years 8 months ago
Shared lexicon for distributed annotations on the Web
The interoperability among distributed and autonomous systems is the ultimate challenge facing the semantic web. Heterogeneity of data representation is the main source of problem...
Paolo Avesani, Marco Cova
130
Voted
PODC
1999
ACM
15 years 6 months ago
On k-Set Consensus Problems in Asynchronous Systems
ÐIn this paper, we investigate the k-set consensus problem in asynchronous distributed systems. In this problem, each participating process begins the protocol with an input value...
Roberto De Prisco, Dahlia Malkhi, Michael K. Reite...
116
Voted
CONCUR
2010
Springer
15 years 3 months ago
Buffered Communication Analysis in Distributed Multiparty Sessions
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...
Pierre-Malo Deniélou, Nobuko Yoshida
ICMCS
2006
IEEE
145views Multimedia» more  ICMCS 2006»
15 years 8 months ago
DISCOVR: Distributed Collaborative Video Recorder
The paper describes DISCOVR, a distributed collaborative video recorder. DISCOVR is a P2P application that combines asynchronous file sharing with synchronous on-demand media stre...
Jin Li, Cheng Huang