2799 search results - page 395 / 560 » computing 1998 |
123
click to vote
PODC
1998
ACM
15 years 9 months ago
1998
ACM
ÐIn this paper, we explore techniques to detect Byzantine server failures in asynchronous replicated data services. Our goal is to detect arbitrary failures of data servers in a s...
133
click to vote
SAC
1998
ACM
15 years 9 months ago
1998
ACM
We have developed a desktop meeting environment named FreeWalk that supports casual meetings in a 3-dimensional (3D) virtual shared space, community common. Tools for human commun...
133
click to vote
CONCUR
1998
Springer
15 years 9 months ago
1998
Springer
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...
128
click to vote
CONCUR
1998
Springer
15 years 9 months ago
1998
Springer
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...
172
click to vote
CPE
1998
Springer
15 years 9 months ago
1998
Springer
This paper describes a modular and scalable simulation environment, called GloMoSim, to evaluate end-to-end performance of integrated wired and wireless networks. GloMoSim has been...