Volume 29,
Number 1,
1986
Volume 29,
Number 2,
1986
- A. P. Jagodzinski, D. D. Clarke:
A Review of Methods for Measuring and Describing Users' Attitudes as an Essential Constituent of Systems Analysis and Design.
97-102
- J. Jarosz, J. R. Jaworowski:
Computer Tree - the Power of Parallel Computations.
103-108
- N. Natarajan:
A Distributed Synchronisation Scheme for Communicating Processes.
109-117
- Kailasam Viswanathan Iyer, Lalit M. Patnaik:
Performance Study of a Centralized Concurrency Control Algorithm for Distributed Database Systems Using SIMULA.
118-126
- N. M. Pitman, F. Warren Burton, E. W. Haddon:
Buddy Systems with Selective Splitting.
127-134
- A. Hutchinson:
A Data Structure and Algorithm for a Self-Augmenting Heuristic Program.
135-150
- Darrel C. Ince, Mark Woodman:
The Rapid Generation of a Class of Software Tools.
151-160
- John T. Boardman, G. C. A. Robson:
Towards a Problem-Solving Methodology for Coping with Increasing Complexity: An Engineering Approach.
161-166
- J. Bradley:
Use of Mean Distance Between Overflow Records to Compute Average Search Lengths in Hash Files with Open Addressing.
167-170
- Jean Marcel Pallo:
Enumerating, Ranking and Unranking Binary Trees.
171-175
- Francesco dalla Libera, F. Gosen:
Using B-Trees to Solve Geographic Range Queries.
176-181
- John T. Boardman, C. Garrett, G. C. A. Robson:
A Recursive Algorithm for the Optimal Solution of a Complex Allocation Problem Using a Dynamic Programming Formulation.
182-186
- Jeffrey S. Rohl, Tamás D. Gedeon:
The Reve's Puzzle.
187-188
Volume 29,
Number 3,
1986
- Joan M. Smith:
The Implications of SGML for the Preparation of Scientific Publications.
193-200
- Harold W. Thimbleby:
Experiences of `Literate Programming' Using Cweb (A Variant of Knuth's WEB).
201-211
- Phillip Ein-Dor, Eli Segev:
Attitudes, Association and Success of MIS: Some Empirical Results from Research in the Context of a Business Game.
212-221
- D. M. Episkopou, A. T. Wood-Harper:
Towards a Framework to Choose Appropriate IS Approaches.
222-228
- J. P. Elloy, Olivier Roux:
Electre: A Language for Control Structuring in Real Time.
229-234
- I. D. Craig:
The Ariadne-1 Blackboard System.
235-240
- George K. Papakonstantinou, John Kontos:
Knowledge Representation with Attribute Grammars.
241-245
- M. Howard Williams, G. Chen:
Translating Pascal for Execution on a Prolog-Based System.
246-252
- Ronald T. House:
Alternative Scope Rules for Block-Structured Languages.
253-260
- E. Wong, W. B. Samson:
The Specification of a Relational Database (PRECI) as an Abstract Data Type and its Realisation in HOPE.
261-268
- David J. Taylor, James P. Black:
A Locally Correctable B-Tree Implementation.
269-276
- Chin-Chen Chang, Richard C. T. Lee:
A Letter-Oriented Minimal Perfect Hashing Scheme.
277-281
- G. W. Smith, J. B. H. du Boulay:
The Generation of Cryptic Crossword Clues.
282-284
Volume 29,
Number 4,
1986
- Sape J. Mullender, Andrew S. Tanenbaum:
The Design of a Capability-Based Distributed Operating System.
289-299
- Brian Randell:
System Design and Structuring.
300-306
- R. G. Stone:
On the Choice of Grammar and Parser for the Compact Analytical Encoding of Programs.
307-314
- P. A. Luker, Alan Burns:
Program Generators and Generation Software.
315-321
- Giovanni Cantone, Aniello Cimitile, Ugo de Carlini:
Well-Formed Conversion of Unstructured One-in/one-out Schemes for Complexity Measurement and Program Maintenance.
322-329
- Norman E. Fenton, Robin W. Whitty:
Axiomatic Approach to Software Metrication Through Program Decomposition.
330-339
- S. J. Young, C. Proctor:
UFL: An Experimental Frame Language Based on Abstract Data Types.
340-347
- P. Feldman, D. Miller:
Entity Model Clustering: Structuring A Data Model By Abstraction.
348-360
- J. Carden:
The Structural Stability of Corporate and Devolved Databases.
361-367
- Yannis Manolopoulos, John G. Kollias, Michael Hatzopoulos:
Sequential vs. Binary Batched Searching.
368-372
- Neil E. Wiseman, S. Nedunuri:
Computing Random Fields.
373-377
Short Notes
Volume 29,
Number 5,
1986
- Nick Rushby:
A Knowledge-Engineering Approach to Instructional Design.
385-389
- Mathai Joseph, Paritosh K. Pandya:
Finding Response Times in a Real-Time System.
390-395
- John P. Penny, Paul J. Ashton, A. L. Wilkinson:
Data Recording and Monitoring for Analysis of System Response Times.
396-403
- Howard Barringer, I. Mearns:
A Proof System for Ada Tasks.
404-415
- J. M. Foster:
Validating Microcode Algebraically.
416-422
- Roy D. Dowsing, R. Elliott:
Programming a Bounded Buffer Using the Object and Path Expression Constructs of Path Pascal.
423-429
- M. C. Er:
The Use of Termination Indicators in Computer Programming.
430-433
- A. D. Woodall:
Techniques of Program Design.
434-435
- Wen-Chin Chen, Jeffrey Scott Vitter:
Deletion Algorithms for Coalesced Hashing.
436-450
- Sakti Pramanik, Farshad Fotouhi:
Index Database Machine.
451-457
- Sushil Jajodia:
Recognizing Multivalued Dependencies in Relation Schemas.
458-459
- A. Blair, Ian Sommerville:
DSA - A Tool for Descriptive Text Analysis.
460-466
- M. Rom, S. Bergman:
A New Technique for Automatic Contouring and Contour Representation from Machine-Readable Spatial Data.
467-471
- F. Fabbrini, Claudio Montani:
Autumnal Quadtrees.
472-474
- Brian Shackel:
IBM Makes Usability as Important as Functionality.
475-476
Short Note
Volume 29,
Number 6,
1986
- C. J. van Rijsbergen:
A Non-Classical Logic for Information Retrieval.
481-485
- R. M. Lea:
VLSI and WSI Associative String Processors for Cost-Effective Parallel Processing.
486-494
- W. F. Clocksin:
Automatic Specilisation of Standard Designs.
495-499
- M. Elizabeth C. Hull:
Implementations of the CSP Notation for Concurrent Systems.
500-505
- Lalit M. Patnaik, Julie Basu:
Two Tools for Interprocess Communication in Distributed Data-Flow Systems.
506-521
- Reuven R. Levary, William D. Edwards:
Analysing the Impact of Adding a New Software System on Main Memory Usage.
522-526
- D. Mackay, G. Ball, Malcolm K. Crowe, M. Hughes, David G. Jenkins, Clark Nicol:
A UNIX-Based System for Software Configuration Management.
527-530
- Paritosh K. Pandya, Mathai Joseph:
A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls.
531-537
- Anthony J. Cowling:
Type Checking in Polymorphic Languages.
538-544
- Philip Leith:
Fundamental Errors in Legal Logic Programming.
545-552
- Massimo Ancona, Leila De Floriani, Jitender S. Deogun:
Path Problems in Structured Graphs.
553-563
- K. J. MacCallum, J. M. Zhang:
Curve-Smoothing Techniques Using B-Splines.
564-571
Copyright © Tue Nov 10 00:33:28 2009
by Michael Ley (ley@uni-trier.de)
