Showing results 4 to 6 of 6
Semantics-based time-alignment operations in temporal query processing and optimization Hyun, SoonJoo, INFORMATION SCIENCES, v.103, pp.37 - 70, 1997 |
SOFTWARE-DESIGN METHODS FOR DISTRIBUTED COMPUTING SYSTEMS YAU, SS; JIA, XP; Bae, Doo-Hwan, COMPUTER COMMUNICATIONS, v.15, no.4, pp.213 - 224, 1992-05 |
Views: Compositional Reasoning for Concurrent Programs Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok, ACM SIGPLAN NOTICES, v.48, no.1, pp.287 - 299, 2013-01 |
Discover