481 | -- | 484 | Pam J. Mayhew, P. A. Dearnley. An Alternative Prototyping Classification |
485 | -- | 486 | M. Ramshaw, A. P. Steward, D. Stoves. An Intelligent Retrieval and Presentation System for Management Information |
487 | -- | 497 | Julie Basu, Lalit M. Patnaik, Asis K. Goswami. Ordered Ports - A Language Concept for High-Level Distributed Programming |
498 | -- | 506 | Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop. Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator |
507 | -- | 511 | T. H. Tse. The Identification of Program Unstructuredness: A Formal Approach |
512 | -- | 518 | R. Geoff Dromey. Derivation of Sorting Algorithms from a Specification |
519 | -- | 528 | Elisa Bertino. An Evaluation of Precompilation and Interpretation in Distributed Database Management Systems |
529 | -- | 534 | Yannis Manolopoulos, Dimitris Kleftouris, Loukas Petrou. A Model for an ISAM File with Multiple Overflow Chains |
535 | -- | 540 | Chin-Chen Chang, C. Y. Chen. Performance Analysis of the Generalised Disc Modulo Allocation method for Multiple Key Hashing Files on Multi-Disc Systems |
541 | -- | 550 | Gordon V. Cormack, R. Nigel Horspool. Data Compression Using Dynamic Markov Modelling |
551 | -- | 557 | Godwin M. Gwei, Eric Foxley. A Flexible Synonym Interface with Application Examples in CAL and Help Environments |
558 | -- | 564 | J. Parker, A. Kennard, D. King. The Window Terminal |
565 | -- | 568 | Yannis Manolopoulos, John G. Kollias, F. Warren Burton. Batched Interpolation Search |
569 | -- | 572 | M. C. Er. Lexicographic Listing and Ranking of t-Ary Trees |