5882 search results - page 285 / 1177 » networks 2010 |
260
click to vote
COMJ
2010
15 years 4 months ago
2010
Even though bidirectional, high-quality and low-latency audio systems for network performance are available, the complexity involved in setting up remote sessions needs better too...
167
Voted
ENTCS
2007
15 years 6 months ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
216
click to vote
IPL
2010
15 years 1 months ago
2010
This paper deals with broadcasting in a network with t-locally bounded Byzantine faults. One of the simplest broadcasting algorithms under Byzantine failures is referred to as a c...
129
click to vote
NA
2010
15 years 1 months ago
2010
We investigate the stability and convergence of an implicit box scheme for subsonic flows modelled by scalar conservation laws with dissipative and possibly stiff source terms. The...
177
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Most people consider a database is merely a data repository that supports data storage and retrieval. Actually, a database contains rich, inter-related, multi-typed data and infor...