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