5334 search results - page 718 / 1067 » Communicating quantum processes |
169
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
167
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: I have always been a strong believer and practitioner of the JFDI approach to development, which yields high morale, early identification of problems in design and of any misunde...
156
Voted
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
Recent work has shown the advantages of using persistent memory for transaction processing. In particular, the Vista transaction system uses recoverable memory to avoid disk I/O, ...
177
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
CSP is a fundamental concept for developing software for distributed real-time systems. The CSP paradigm constitutes a natural addition to Object Orientation and offers higherorde...
169
click to vote
DSOM
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Object middleware is an enabling technology for distributed applications that are required to operate in heterogeneous computing and communication environments. Although ...