The Computer Journal, Volume 35, 1992

Volume 35, Number 1, 1992

• Alan Burns, John A. McDermid, John E. Dobson:
  On the Meaning of Safety and Security. 3-15
  
• J.-J. Hwang, B.-M. Shao, P. C. Wang:
  A New Access Control Method Using Prime Factorisation. 16-20
  
• Mike Burmester, Yvo Desmedt, Thomas Beth:
  Efficient Zero-Knowledge Identification Schemes for Smart Cards. 21-29
  
• Rogério de Lemos, Amer Saeed, Tom Anderson:
  A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems. 30-40
  
• Brian A. Wichmann:
  A Note on the Use of Floating Point in Critical Systems. 41-44
  
• Myoung-Ho Kim, Sakti Pramanik:
  Optimizing Database Accesses for Parallel Processing of Multikey Range Searches. 45-51
  
• Ian F. Akyildiz:
  Performance Analysis of a Multiprocessor System Model with Process Communication. 52-61
  
• Richard G. Börn, James R. Kenevan:
  Theoretical Performance-Based Cost-Effectiveness of Multicomputers. 62-70
  
• H. Shen:
  Self-Adjusting Mapping: A Heuristic Mapping Algorithm for Mapping Parallel Programs on to Transputer Networks. 71-80
  
• D. Kaur:
  Hierarchical Hypernet for Pipelining. 81-87
  
• M. Vassallo, Anthony Ralston:
  Algorithms for De Bruijn Sequences - A Case Study in the Empirical Analysis of Algorithms. 88-90
  
• Appie van de Liefvoort:
  An Iterative Algorithm for the Reve's Puzzle (Short Note). 91-92
  

Volume 35, Number 2, 1992

• Wei Sun, Weiyi Meng, Clement T. Yu:
  Query Optimisation in Distributed Object-Oriented Database Systems. 98-107
  
• John A. Mariani:
  Oggetto: An Object Oriented Database Layered on a Triple Store. 108-118
  
• Alexandra Poulovassilis:
  The Implementation of FDL, a Functional Database Language. 119-128
  
• J. S. H. Yang, Yeh-Hao Chin, C. G. Chung:
  Many-Sorted First-Order Logic Database Language. 129-137
  
• Peter G. Harrison, Hessam Khoshnevisan:
  The Mechanical Transformation of Data Types. 138-147
  
• Theo P. van der Weide, Arthur H. M. ter Hofstede, Patrick van Bommel:
  Uniquest: Determining the Semantics of Complex Uniqueness Constraints. 148-156
  
• T. Conlon, Steve Gregory:
  Debugging Tools for Concurrent Logic Programming. 157-169
  
• Simon J. Thompson, Rafael Dueire Lins:
  The Categorical Multi-Combinator Machine: CMCM. 170-176
  
• Olli Nevalainen, Timo Raita:
  An Internal Hybrid Sort Algorithm Revisited. 177-183
  
• I. Shearer:
  Retrospective Update: Data As It Was Believed To Be (Short Note). 184-186
  
• Tamás D. Gedeon:
  The Reve's Puzzle: An Iterative Solution Produced by Transformation. 186-187
  

Volume 35, Number 3, 1992

• Maristella Agosti, Pier Giorgio Marchetti:
  User Navigation in the IRS Conceptual Structure through a Semantic Association Function. 194-199
  
• David C. Blair:
  Information Retrieval and the Philosophy of Language. 200-207
  
• Peter Bruza, Theo P. van der Weide:
  Stratified Hypermedia Structures for Information Disclosure. 208-220
  
• Alison Cawsey, Julia Rose Galliers, Steven Reece, Karen Sparck Jones:
  Automating the Librarian: Belief Revision as a Base for System Action and Communication with the User. 221-232
  
• Yves Chiaramella, Jean-Pierre Chevallet:
  About Retrieval Models and Logic. 233-242
  
• Norbert Fuhr:
  Probabilistic Models in Information Retrieval. 243-255
  
• David J. Harper, Andrew D. M. Walker:
  ECLAIR: An Extensible Class Library for Information Retrieval. 256-267
  
• Alan F. Smeaton:
  Progress in the Application of Natural Language Processing to Information Retrieval Tasks. 268-278
  
• Howard R. Turtle, W. Bruce Croft:
  A Comparison of Text Retrieval Models. 279-290
  
• C. J. van Rijsbergen:
  Probabilistic Retrieval Revisited. 291-298
  
• Chin-Chen Chang, H. Y. Chen, C. Y. Chen:
  Symbolic Gray Code As A Data Allocation Scheme For Two-Disc Systems. 299-305
  
• M. C. Er:
  Efficient Generation of k-ary Trees in Natural Order (Short Note). 306-308
  
• W. R. Dufrene Jr., F. C. Lin:
  An Efficient External Sort Algorithm with no Additional Space (Short Note). 308-310
  

Volume 35, Number 4, 1992

• Suzanne W. Dietrich, M. Brown, Enrique Cortes-Rello, S. Wunderlin:
  A Practitioner's Introduction to Database Performance Benchmarks and Measurements. 322-331
  
• D. H. O. Ling, David A. Bell:
  Modelling and Managing Time in Database Systems. 332-341
  
• Esa Auramäki, Rudy Hirschheim, Kalle Lyytinen:
  Modelling Offices Through Discourse Analysis: The SAMPO Approach. 342-352
  
• Mike Turega:
  A Computer Architecture to Support Neural Net Simulation. 353-360
  
• Reinhard Männer, Oliver Stucky:
  Fault-Tolerant Data Transfer in a Multiprocessor System by Forward and Backward Hardware Error Recovery. 361-368
  
• John Rosenberg, James Leslie Keedy, David Abramson:
  Addressing Mechanisms for Large Virtual Memories. 369-375
  
• Richard A. Frost:
  Constructing Programs as Executable Attribute Grammars. 376-389
  
• Chin-Chen Chang, H. F. Lin, C. Y. Chen:
  Optimality Properties of the Disc Modulo Allocation Method for k-ary Multiple Key Hashing Files. 390-394
  
• Renzo Sprugnoli:
  Properties of Binary Trees Related to Position. 395-404
  
• Behrooz Parhami:
  Systolic Number Radix Converters. 405-409
  
• R. Carlsson:
  A Note on Heapsort (Short Note). 410-411
  

Volume 35, Number 5, 1992

• John Cooke:
  Formal Methods - Mathematics, Theory, Recipes or What? 419-423
  
• Antony Galton:
  Classical Logic: A Crash Course for Beginners. 424-430
  
• Antony Galton:
  Logic as a Formal Method. 431-440
  
• Jim Woodcock:
  The Rudiments of Algorithm Refinement. 441-450
  
• T. Clement:
  The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal. 451-459
  
• Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas:
  Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development. 460-467
  
• Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas:
  Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications. 468-477
  
• Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers:
  Protocol Design and Implementation Using Formal Methods. 478-491
  
• Esa Auramäki, Rudy Hirschheim, Kalle Lyytinen:
  Modelling Offices Through Discourse Analysis: A Comparison and Evaluation of SAMPO with OSSAD and ICN. 492-500
  
• Bogdan D. Czejdo, Malcolm C. Taylor:
  Integration of Information Systems Using an Object-Oriented Approach. 501-513
  
• Harald Søndergaard, Peter Sestoft:
  Non-Determinism in Functional Languages. 514-523
  
• Elena Lodi:
  A Parallel Solution to the Approximate String Matching Problem (Short Note). 524-526
  
• D. J. Challab:
  Flexible Arrays: Evaluation of the B-Tree Based System (Short Note). 527-529
  
• David Furber:
  A Survey of the Teaching of Programming to Computer Undergraduates in U.K. Universities and Polytechnics (Short Note). 530-533
  
• David T. H. Ng, B. John Oommen:
  A Short Note on Doubly-Linked List Reorganizing Heuristics. 533-535
  
• Beverly Jamison, Stephan Olariu:
  Indexing for Multi-Attribute Retrieval (Short Note). 535-537
  

Volume 35, Number 6, 1992

• Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker:
  How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. 547-554
  
• Peter G. Harrison:
  A Higher-Order Approach to Parallel Algorithms. 555-566
  
• Peter Gorm Larsen, Nico Plat:
  Standards for Non- Executable Specification Languages. 567-573
  
• D. R. Kuhn:
  A Technique for Analyzing the Effects of Changes in Formal Specifications. 574-578
  
• L. M. Barroca, John A. McDermid:
  Formal Methods: Use and Relevance for the Development of Safety-Critical Systems. 579-599
  
• Lesley Semmens, Robert B. France, Thomas W. G. Docker:
  Integrated Structured Analysis and Formal Specification Techniques. 600-610
  
• Vojislav B. Misic, L. Dusan Velasevic, Branislav Lazarevic:
  Formal Specification of a Data Dictionary for an Extended ER Data Model. 611-622
  
• G. O'Neill:
  Automatic Translation of VDM Specifications into Standard ML Programs (Short Note). 623-624
  
• Ivan Bruha:
  Al Multilanguage System McPOPLOG: The Power of Communication Between its Subsystems. 625-629
  
• Ferruccio Barsi, Maria Cristina Pinotti:
  Adding Flexibility to Hybrid Number Systems. 630-635
  
• Ian J. Davis:
  A Fast Radix Sort. 636-642
  
• Bing-Chao Huang, Michael A. Langston:
  Fast Stable Merging and Sorting in Constant Extra Space. 643-650
  
• A. P. Robson, D. J. Kinniment:
  SIMSTRICT: A Behavioural Simulator for Use with the STRICT Hardware Description Language (Short Note). 651-654
  
• Caroline M. Eastman, Robert P. Trueblood:
  Occupancy Models for the Estimation of Block Accesses. 654-658
  
• Chu-Hsing Lin, Chin-Chen Chang, Richard C. T. Lee:
  A Record-Oriented Cryptosystem for Database Sharing (Short Note). 658-660
  
• A. P. Korah, M. R. Kaimal:
  A Short Note on Perfectly Balanced Binary Search Trees. 660-662
  
• Young-Chang Hou, Jong-Chuang Tsay:
  On Equivalent Systolic Designs of LU Decomposition and Its Algebraic Representation (Short Note). 662-666
  
• Yannis Manolopoulos:
  Reverse Chaining for Answering Temporal Logical Queries (Short Note). 666-668
  

Last update Wed May 22 17:08:59 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page