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
- Yodung-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
Copyright © Tue Nov 10 00:33:30 2009
by Michael Ley (ley@uni-trier.de)
