11547 search results - page 2053 / 2310 » Quantum computing and communication |
175
click to vote
STTT
1998
15 years 6 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
177
click to vote
SIGMOD
2002
ACM
15 years 6 months ago
2002
ACM
Workflow management systems (WFMS) that are geared for the orchestration of business processes across multiple organizations are complex distributed systems: they consist of multi...
151
click to vote
TPDS
1998
15 years 6 months ago
1998
—Array redistribution is usually required to enhance algorithm performance in many parallel programs on distributed memory multicomputers. Since it is performed at run-time, ther...
188
click to vote
TPDS
1998
15 years 6 months ago
1998
—We suggest a method of controlling the access to a secure database via quorum systems. A quorum system is a collection of sets (quorums) every two of which have a nonempty inter...
199
click to vote
TC
2002
15 years 6 months ago
2002
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...