Volume 35,
Number 1,
1992
- Alan Burns, John A. McDermid, John E. Dobson:
On the Meaning of Safety and Security.
3-15 BibTeX
- J.-J. Hwang, B.-M. Shao, P. C. Wang:
A New Access Control Method Using Prime Factorisation.
16-20 BibTeX
- Mike Burmester, Yvo Desmedt, Thomas Beth:
Efficient Zero-Knowledge Identification Schemes for Smart Cards.
21-29 BibTeX
- 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 BibTeX
- Brian A. Wichmann:
A Note on the Use of Floating Point in Critical Systems.
41-44 BibTeX
- Myoung-Ho Kim, Sakti Pramanik:
Optimizing Database Accesses for Parallel Processing of Multikey Range Searches.
45-51 BibTeX
- Ian F. Akyildiz:
Performance Analysis of a Multiprocessor System Model with Process Communication.
52-61 BibTeX
- Richard G. Börn, James R. Kenevan:
Theoretical Performance-Based Cost-Effectiveness of Multicomputers.
62-70 BibTeX
- H. Shen:
Self-Adjusting Mapping: A Heuristic Mapping Algorithm for Mapping Parallel Programs on to Transputer Networks.
71-80 BibTeX
- D. Kaur:
Hierarchical Hypernet for Pipelining.
81-87 BibTeX
- M. Vassallo, Anthony Ralston:
Algorithms for De Bruijn Sequences - A Case Study in the Empirical Analysis of Algorithms.
88-90 BibTeX
- Appie van de Liefvoort:
An Iterative Algorithm for the Reve's Puzzle (Short Note).
91-92 BibTeX
Volume 35,
Number 2,
1992
- Wei Sun, Weiyi Meng, Clement T. Yu:
Query Optimisation in Distributed Object-Oriented Database Systems.
98-107 BibTeX
- John A. Mariani:
Oggetto: An Object Oriented Database Layered on a Triple Store.
108-118 BibTeX
- Alexandra Poulovassilis:
The Implementation of FDL, a Functional Database Language.
119-128 BibTeX
- J. S. H. Yang, Yeh-Hao Chin, C. G. Chung:
Many-Sorted First-Order Logic Database Language.
129-137 BibTeX
- Peter G. Harrison, Hessam Khoshnevisan:
The Mechanical Transformation of Data Types.
138-147 BibTeX
- Theo P. van der Weide, Arthur H. M. ter Hofstede, Patrick van Bommel:
Uniquest: Determining the Semantics of Complex Uniqueness Constraints.
148-156 BibTeX
- T. Conlon, Steve Gregory:
Debugging Tools for Concurrent Logic Programming.
157-169 BibTeX
- Simon J. Thompson, Rafael Dueire Lins:
The Categorical Multi-Combinator Machine: CMCM.
170-176 BibTeX
- Olli Nevalainen, Timo Raita:
An Internal Hybrid Sort Algorithm Revisited.
177-183 BibTeX
- I. Shearer:
Retrospective Update: Data As It Was Believed To Be (Short Note).
184-186 BibTeX
- Tamás D. Gedeon:
The Reve's Puzzle: An Iterative Solution Produced by Transformation.
186-187 BibTeX
Volume 35,
Number 3,
1992
- Maristella Agosti, Pier Giorgio Marchetti:
User Navigation in the IRS Conceptual Structure through a Semantic Association Function.
194-199 BibTeX
- David C. Blair:
Information Retrieval and the Philosophy of Language.
200-207 BibTeX
- Peter Bruza, Theo P. van der Weide:
Stratified Hypermedia Structures for Information Disclosure.
208-220 BibTeX
- 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 BibTeX
- Yves Chiaramella, Jean-Pierre Chevallet:
About Retrieval Models and Logic.
233-242 BibTeX
- Norbert Fuhr:
Probabilistic Models in Information Retrieval.
243-255 BibTeX
- David J. Harper, Andrew D. M. Walker:
ECLAIR: An Extensible Class Library for Information Retrieval.
256-267 BibTeX
- Alan F. Smeaton:
Progress in the Application of Natural Language Processing to Information Retrieval Tasks.
268-278 BibTeX
- Howard R. Turtle, W. Bruce Croft:
A Comparison of Text Retrieval Models.
279-290 BibTeX
- C. J. van Rijsbergen:
Probabilistic Retrieval Revisited.
291-298 BibTeX
- Chin-Chen Chang, H. Y. Chen, C. Y. Chen:
Symbolic Gray Code As A Data Allocation Scheme For Two-Disc Systems.
299-305 BibTeX
- M. C. Er:
Efficient Generation of k-ary Trees in Natural Order (Short Note).
306-308 BibTeX
- W. R. Dufrene Jr., F. C. Lin:
An Efficient External Sort Algorithm with no Additional Space (Short Note).
308-310 BibTeX
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 BibTeX
- D. H. O. Ling, David A. Bell:
Modelling and Managing Time in Database Systems.
332-341 BibTeX
- Esa Auramäki, Rudy Hirschheim, Kalle Lyytinen:
Modelling Offices Through Discourse Analysis: The SAMPO Approach.
342-352 BibTeX
- Mike Turega:
A Computer Architecture to Support Neural Net Simulation.
353-360 BibTeX
- Reinhard Männer, Oliver Stucky:
Fault-Tolerant Data Transfer in a Multiprocessor System by Forward and Backward Hardware Error Recovery.
361-368 BibTeX
- John Rosenberg, James Leslie Keedy, David Abramson:
Addressing Mechanisms for Large Virtual Memories.
369-375 BibTeX
- Richard A. Frost:
Constructing Programs as Executable Attribute Grammars.
376-389 BibTeX
- 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 BibTeX
- Renzo Sprugnoli:
Properties of Binary Trees Related to Position.
395-404 BibTeX
- Behrooz Parhami:
Systolic Number Radix Converters.
405-409 BibTeX
- R. Carlsson:
A Note on Heapsort (Short Note).
410-411 BibTeX
Volume 35,
Number 5,
1992
- John Cooke:
Formal Methods - Mathematics, Theory, Recipes or What?
419-423 BibTeX
- Antony Galton:
Classical Logic: A Crash Course for Beginners.
424-430 BibTeX
- Antony Galton:
Logic as a Formal Method.
431-440 BibTeX
- Jim Woodcock:
The Rudiments of Algorithm Refinement.
441-450 BibTeX
- T. Clement:
The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal.
451-459 BibTeX
- Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas:
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.
460-467 BibTeX
- 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 BibTeX
- Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers:
Protocol Design and Implementation Using Formal Methods.
478-491 BibTeX
- Esa Auramäki, Rudy Hirschheim, Kalle Lyytinen:
Modelling Offices Through Discourse Analysis: A Comparison and Evaluation of SAMPO with OSSAD and ICN.
492-500 BibTeX
- Bogdan D. Czejdo, Malcolm C. Taylor:
Integration of Information Systems Using an Object-Oriented Approach.
501-513 BibTeX
- Harald Søndergaard, Peter Sestoft:
Non-Determinism in Functional Languages.
514-523 BibTeX
- Elena Lodi:
A Parallel Solution to the Approximate String Matching Problem (Short Note).
524-526 BibTeX
- D. J. Challab:
Flexible Arrays: Evaluation of the B-Tree Based System (Short Note).
527-529 BibTeX
- David Furber:
A Survey of the Teaching of Programming to Computer Undergraduates in U.K. Universities and Polytechnics (Short Note).
530-533 BibTeX
- David T. H. Ng, B. John Oommen:
A Short Note on Doubly-Linked List Reorganizing Heuristics.
533-535 BibTeX
- Beverly Jamison, Stephan Olariu:
Indexing for Multi-Attribute Retrieval (Short Note).
535-537 BibTeX
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 BibTeX
- Peter G. Harrison:
A Higher-Order Approach to Parallel Algorithms.
555-566 BibTeX
- Peter Gorm Larsen, Nico Plat:
Standards for Non- Executable Specification Languages.
567-573 BibTeX
- D. R. Kuhn:
A Technique for Analyzing the Effects of Changes in Formal Specifications.
574-578 BibTeX
- L. M. Barroca, John A. McDermid:
Formal Methods: Use and Relevance for the Development of Safety-Critical Systems.
579-599 BibTeX
- Lesley Semmens, Robert B. France, Thomas W. G. Docker:
Integrated Structured Analysis and Formal Specification Techniques.
600-610 BibTeX
- Vojislav B. Misic, L. Dusan Velasevic, Branislav Lazarevic:
Formal Specification of a Data Dictionary for an Extended ER Data Model.
611-622 BibTeX
- G. O'Neill:
Automatic Translation of VDM Specifications into Standard ML Programs (Short Note).
623-624 BibTeX
- Ivan Bruha:
Al Multilanguage System McPOPLOG: The Power of Communication Between its Subsystems.
625-629 BibTeX
- Ferruccio Barsi, Maria Cristina Pinotti:
Adding Flexibility to Hybrid Number Systems.
630-635 BibTeX
- Ian J. Davis:
A Fast Radix Sort.
636-642 BibTeX
- Bing-Chao Huang, Michael A. Langston:
Fast Stable Merging and Sorting in Constant Extra Space.
643-650 BibTeX
- A. P. Robson, D. J. Kinniment:
SIMSTRICT: A Behavioural Simulator for Use with the STRICT Hardware Description Language (Short Note).
651-654 BibTeX
- Caroline M. Eastman, Robert P. Trueblood:
Occupancy Models for the Estimation of Block Accesses.
654-658 BibTeX
- Chu-Hsing Lin, Chin-Chen Chang, Richard C. T. Lee:
A Record-Oriented Cryptosystem for Database Sharing (Short Note).
658-660 BibTeX
- A. P. Korah, M. R. Kaimal:
A Short Note on Perfectly Balanced Binary Search Trees.
660-662 BibTeX
- Yodung-Chang Hou, Jong-Chuang Tsay:
On Equivalent Systolic Designs of LU Decomposition and Its Algebraic Representation (Short Note).
662-666 BibTeX
- Yannis Manolopoulos:
Reverse Chaining for Answering Temporal Logical Queries (Short Note).
666-668 BibTeX
Copyright © Sat May 16 23:52:44 2009
by Michael Ley (ley@uni-trier.de)
