Select / remove query terms:
Found 123691 results in 0.083 sec. (Time to generate facets: 0 sec.)
: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications.
ACM Trans. Program. Lang. Syst.
(TOPLAS)
8(2):244-263 (1986)
: Distributed Snapshots: Determining Global States of Distributed Systems
ACM Trans. Comput. Syst.
(TOCS)
3(1):63-75 (1985)
: On the Criteria To Be Used in Decomposing Systems into Modules.
Commun. ACM
(CACM)
15(12):1053-1058 (1972)
: Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems.
Middleware
2001
: Mediators in the Architecture of Future Information Systems.
IEEE Computer
(COMPUTER)
25(3):38-49 (1992)
Refine search by KEYWORD:
show counts
algorithm analysis approach architecture control data database design development distributed dynamic information management model networks performance real-time software support