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