11547 search results - page 248 / 2310 » Quantum computing and communication |
163
click to vote
ICDCS
1996
IEEE
15 years 10 months ago
1996
IEEE
The Amoeba group communication system has two unique aspects: (1) it uses a sequencer-based protocol with negative acknowledgements for achieving a total order on all group messag...
150
click to vote
ICDCS
1993
IEEE
15 years 10 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
164
click to vote
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
147
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Within the paper a description of communication model of plug-in based emuStudio emulation platform is given. The platform mentioned above allows the emulation of whole computer sy...
151
click to vote
WMTE
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper reports the results of a laboratory study of a proposed solution to the problem of coordinating entry into collaborative activity while protecting the privacy and contr...