24554 search results - page 4589 / 4911 » Dependable distributed systems |
171
click to vote
ARTS
1997
Springer
15 years 11 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
176
click to vote
FPGA
1997
ACM
15 years 11 months ago
1997
ACM
Configurable Computing Machines (CCMs) are an emerging class of computing platform which provide the computational performance benefits of ASICs, yet retain the flexibility and ra...
204
click to vote
MM
1996
ACM
15 years 11 months ago
1996
ACM
We present a regional news on demand television service over the Internet developed for the Norwegian Broadcasting Corporation (NRK), using a distributed video server and a WWW-in...
239
click to vote
FSTTCS
1993
Springer
15 years 10 months ago
1993
Springer
We investigate the complexity and approximability of some location problems when two distance values are specified for each pair of potential sites. These problems involve the se...
190
click to vote
MAAMAW
1994
Springer
15 years 10 months ago
1994
Springer
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...