Journal: Comput. J.

Volume 35, Issue Additional-Papers

0 -- 0Emmanuel J. Yannakoudakis, A. A. Shahid. A Controlled Environment for Semantic Information Processing within Inter-process Communication
0 -- 0K. Deljouie-Rakhshandeh. Point Visibility of Polygonal Regions
0 -- 0Farshad Fotouhi, Andrew E. Johnson, Satyendra P. Rana. A Hash-Based Approach for Computing the Transitive Closure of Database Relations
0 -- 0Fereidoon Sadri. Data Dependencies in Deductive Databases
0 -- 0Jin Ho Hur, Kilnam Chon. Configuration of Objects in Parallel Object-Oriented Computation
0 -- 0Arif Ghafoor. An Expert System for Diagnosis and Repair
0 -- 0H. Chen. LHPD: A Practical Algorithm for Program Parallelisation
0 -- 0G. H. Harris, L. J. Spring, J. J. H. Forster. An Efficient Algorithm for Crosswood Puzzle Solutions
0 -- 0Annie Y. H. Chou, W. P. Wang, Chin-Chen Chang 0001. Greedy File - a New Data Organisation Concept for Partial Match Retrieval
0 -- 0E. Ch. Foundas, A. A. Vazacopoulos. Algorithms on Permutation Trees
0 -- 0J. Bradley. Recursive Relationships and Natural Quantifier Set Theoretic Expression Techniques
0 -- 0K. N. Dandeker. Implementation of Parameterised Views in Relational Query Languages with a Macro Processor
0 -- 0Sibsankar Haldar, D. K. Subramanian. A Modified Round Robin Scheduler for Time-Sharing Systems
0 -- 0M. M. Hamed, M. Reda El-Karaksy. A Decomposition Procedure for the Design of Normalised Relational Schemata
0 -- 0Paul W. Oman, Karen Van Houten. On the Use of Binary Strings to Represent Tree Structures
0 -- 0Ing-Ray Chen, Sayed Atef Banawan. A Reduced Markov Model for the Performance Analysis of Data Structure Servers with Periodic Maintenance
0 -- 0Emmanuel D. Adamides, Philippos Tsalides, Adonios Thanailakis. Hierarchical Cellular Graph Automata as a Novel Architecture for Computer-Supported Cooperative Work
0 -- 0Clive Ruggles, Ian A. Newman, David Medyckyj-Scott, David R. F. Walker. Structuring Spatially Related Meta-Information for Effective Entry and Retrieval
0 -- 0Mariusz Flasinski, Leszek Kotulski. On the Use of Graph Grammers for the Control of a Distributed Software Allocation
0 -- 0Philippos Tsalides, Adonios Thanailakis, Nikos Pitsianis, Georgios L. Bleris. Two-Dimensional Cellular Automata: Properties and Applications of a New VLSI Architecture
0 -- 0George K. Papakonstantinou, T. Panayiotopoulos, G. Dimitriou. AGP: A Parallel Processor for Knowledge and Software Engineering
0 -- 0Sakti Pramanik, Farshad Fotouhi. Join and Semi-join Algorithms Based on Partial-relation Schemes
0 -- 0D. J. Heath. A Case Study in the Design of a Distributed System Using the Calculus of Communicating Systems
0 -- 0Bipin C. Desai, Pankaj Goyal, Fereidoon Sadri. Composite B-tree: an Access Aid for Query Processing and Integrity Enforcement
0 -- 0Brian Knight. A Deductive Approach to Temporal Databases
0 -- 0K. R. Santhosh, S. V. Raghavan. Performance Studies on Asynchronous Communication Server for Local Area Networks
0 -- 0David B. H. Tay. COPS: A Constraint Programming Approach to Resource-Limited Project Scheduling
0 -- 0N. Prakash. Events in Time and Space
0 -- 0Chiun-Chieh Hsu, Sheng-De Wang, Te-Son Kuo. A Well-informed Approach to Distributed Task Assignment
0 -- 0S. Dvorák. An Interleaving Algorithm
0 -- 0T. Panayiotopoulos, George K. Papakonstantinou. An Extension of the Certainty Factor Model in First Order Predicate Calculus
0 -- 0Tak-Sun Yuen, David H. C. Du. Dynamic File Organizations For Partial Match Retrieval Based On Linear Hashing
0 -- 0G. H. Harris, J. J. H. Forster. On the Number of Solutions, S(k, n), to a Class of Crossword Puzzles
0 -- 0Wei-Pang Yang, T.-C. Chiu, W. C. Lee, Shang-Sheng Tung. A New Strategy for Multiple Stacks Manipulation
0 -- 0J. Bradley. Co-Relationships, Levels of Significance, and the Source of the Connection Trap in Relational Databases
0 -- 0Francis Neelamkavil, S. O'Shea. Interfacing Eiffel and PCTE
0 -- 0Francesca Cesarini, Giovanni Soda. Generating Sample Relational Databases on Small Machines
0 -- 0Vladimir Estivill-Castro, Derick Wood. A Generic Adaptive Sorting Algorithm
0 -- 0James K. Mullin. Hash Functions for Hash-based Join Methods
0 -- 0Emmanuel J. Yannakoudakis, Hussain Ali Attar-Bashi. Constructing Natural Language Sentences from Database Tuples
0 -- 0Nicola Leone, Pasquale Rullo. An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries
0 -- 0P. D. Smith. Experiments with Word-by-Word Compression of English Text using Lexicons
0 -- 0Vangelis Th. Paschos, Andreas Stafylopatis. Evaluation of the Execution Cost of Recursive Definitions
0 -- 0Danny C. C. Poo. Event-Driven Object-Oriented System Modelling
0 -- 0Hung-Chang Du. On the File Allocation for Power-2 Cartesian Product Files
0 -- 0Emmanuel O. Onuegbe, Hung-Chang Du, E. W. Roethke. A Locking Scheme for Associative Retrieval
0 -- 0Raúl Héctor Gallard. Improving Firing Control via Explicit Enabling Rules in Petri Nets

Volume 35, Issue 6

547 -- 554Eerke Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker. How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations
555 -- 566Peter G. Harrison. A Higher-Order Approach to Parallel Algorithms
567 -- 573Peter Gorm Larsen, Nico Plat. Standards for Non- Executable Specification Languages
574 -- 578D. Richard Kuhn. A Technique for Analyzing the Effects of Changes in Formal Specifications
579 -- 599L. M. Barroca, John A. McDermid. Formal Methods: Use and Relevance for the Development of Safety-Critical Systems
600 -- 610Lesley Semmens, Robert B. France, Thomas W. G. Docker. Integrated Structured Analysis and Formal Specification Techniques
611 -- 622Vojislav B. Misic, L. Dusan Velasevic, Branislav Lazarevic. Formal Specification of a Data Dictionary for an Extended ER Data Model
623 -- 624G. O Neill. Automatic Translation of VDM Specifications into Standard ML Programs (Short Note)
625 -- 629Ivan Bruha. Al Multilanguage System McPOPLOG: The Power of Communication Between its Subsystems
630 -- 635Ferruccio Barsi, Maria Cristina Pinotti. Adding Flexibility to Hybrid Number Systems
636 -- 642Ian J. Davis. A Fast Radix Sort
643 -- 650Bing-Chao Huang, Michael A. Langston. Fast Stable Merging and Sorting in Constant Extra Space
651 -- 654A. P. Robson, D. J. Kinniment. SIMSTRICT: A Behavioural Simulator for Use with the STRICT Hardware Description Language (Short Note)
654 -- 658Caroline M. Eastman, Robert P. Trueblood. Occupancy Models for the Estimation of Block Accesses
658 -- 660Chu-Hsing Lin, Chin-Chen Chang, Richard C. T. Lee. A Record-Oriented Cryptosystem for Database Sharing (Short Note)
660 -- 662A. P. Korah, M. R. Kaimal. A Short Note on Perfectly Balanced Binary Search Trees
662 -- 666Yodung-Chang Hou, Jong-Chuang Tsay. On Equivalent Systolic Designs of LU Decomposition and Its Algebraic Representation (Short Note)
666 -- 668Yannis Manolopoulos. Reverse Chaining for Answering Temporal Logical Queries (Short Note)

Volume 35, Issue 5

419 -- 423John Cooke. Formal Methods - Mathematics, Theory, Recipes or What?
424 -- 430Antony Galton. Classical Logic: A Crash Course for Beginners
431 -- 440Antony Galton. Logic as a Formal Method
441 -- 450Jim Woodcock. The Rudiments of Algorithm Refinement
451 -- 459T. Clement. The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal
460 -- 467Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas. Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development
468 -- 477Hartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas. Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications
478 -- 491Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers. Protocol Design and Implementation Using Formal Methods
492 -- 500Esa Auramäki, Rudy Hirschheim, Kalle Lyytinen. Modelling Offices Through Discourse Analysis: A Comparison and Evaluation of SAMPO with OSSAD and ICN
501 -- 513Bogdan D. Czejdo, Malcolm C. Taylor. Integration of Information Systems Using an Object-Oriented Approach
514 -- 523Harald Søndergaard, Peter Sestoft. Non-Determinism in Functional Languages
524 -- 526Elena Lodi. A Parallel Solution to the Approximate String Matching Problem (Short Note)
527 -- 529D. J. Challab. Flexible Arrays: Evaluation of the B-Tree Based System (Short Note)
530 -- 533David Furber. A Survey of the Teaching of Programming to Computer Undergraduates in U.K. Universities and Polytechnics (Short Note)
533 -- 535David T. H. Ng, B. John Oommen. A Short Note on Doubly-Linked List Reorganizing Heuristics
535 -- 537Beverly Jamison, Stephan Olariu. Indexing for Multi-Attribute Retrieval (Short Note)

Volume 35, Issue 4

322 -- 331Suzanne W. Dietrich, M. Brown, Enrique Cortes-Rello, S. Wunderlin. A Practitioner s Introduction to Database Performance Benchmarks and Measurements
332 -- 341D. H. O. Ling, David A. Bell. Modelling and Managing Time in Database Systems
342 -- 352Esa Auramäki, Rudy Hirschheim, Kalle Lyytinen. Modelling Offices Through Discourse Analysis: The SAMPO Approach
353 -- 360Mike Turega. A Computer Architecture to Support Neural Net Simulation
361 -- 368Reinhard Männer, Oliver Stucky. Fault-Tolerant Data Transfer in a Multiprocessor System by Forward and Backward Hardware Error Recovery
369 -- 375John Rosenberg, James Leslie Keedy, David Abramson. Addressing Mechanisms for Large Virtual Memories
376 -- 389Richard A. Frost. Constructing Programs as Executable Attribute Grammars
390 -- 394Chin-Chen Chang, H. F. Lin, C. Y. Chen. Optimality Properties of the Disc Modulo Allocation Method for k-ary Multiple Key Hashing Files
395 -- 404Renzo Sprugnoli. Properties of Binary Trees Related to Position
405 -- 409Behrooz Parhami. Systolic Number Radix Converters
410 -- 411S. Carlsson. A Note on Heapsort (Short Note)

Volume 35, Issue 3

194 -- 199Maristella Agosti, Pier Giorgio Marchetti. User Navigation in the IRS Conceptual Structure through a Semantic Association Function
200 -- 207David C. Blair. Information Retrieval and the Philosophy of Language
208 -- 220Peter Bruza, Theo P. van der Weide. Stratified Hypermedia Structures for Information Disclosure
221 -- 232Alison 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
233 -- 242Yves Chiaramella, Jean-Pierre Chevallet. About Retrieval Models and Logic
243 -- 255Norbert Fuhr. Probabilistic Models in Information Retrieval
256 -- 267David J. Harper, Andrew D. M. Walker. ECLAIR: An Extensible Class Library for Information Retrieval
268 -- 278Alan F. Smeaton. Progress in the Application of Natural Language Processing to Information Retrieval Tasks
279 -- 290Howard R. Turtle, W. Bruce Croft. A Comparison of Text Retrieval Models
291 -- 298C. J. van Rijsbergen. Probabilistic Retrieval Revisited
299 -- 305Chin-Chen Chang, H. Y. Chen, C. Y. Chen. Symbolic Gray Code As A Data Allocation Scheme For Two-Disc Systems
306 -- 308M. C. Er. Efficient Generation of k-ary Trees in Natural Order (Short Note)

Volume 35, Issue 2

98 -- 107Wei Sun, Weiyi Meng, Clement T. Yu. Query Optimisation in Distributed Object-Oriented Database Systems
108 -- 118John A. Mariani. Oggetto: An Object Oriented Database Layered on a Triple Store
119 -- 128Alexandra Poulovassilis. The Implementation of FDL, a Functional Database Language
129 -- 137J. S. H. Yang, Yeh-Hao Chin, C. G. Chung. Many-Sorted First-Order Logic Database Language
138 -- 147Peter G. Harrison, Hessam Khoshnevisan. The Mechanical Transformation of Data Types
148 -- 156Theo P. van der Weide, Arthur H. M. ter Hofstede, Patrick van Bommel. Uniquest: Determining the Semantics of Complex Uniqueness Constraints
157 -- 169T. Conlon, Steve Gregory. Debugging Tools for Concurrent Logic Programming
170 -- 176Simon J. Thompson, Rafael Dueire Lins. The Categorical Multi-Combinator Machine: CMCM
177 -- 183Olli Nevalainen, Timo Raita. An Internal Hybrid Sort Algorithm Revisited
184 -- 186I. Shearer. Retrospective Update: Data As It Was Believed To Be (Short Note)
186 -- 187Tamás D. Gedeon. The Reve s Puzzle: An Iterative Solution Produced by Transformation

Volume 35, Issue 1

3 -- 15Alan Burns, John A. McDermid, John E. Dobson. On the Meaning of Safety and Security
16 -- 20J.-J. Hwang, B.-M. Shao, P. C. Wang. A New Access Control Method Using Prime Factorisation
21 -- 29Mike Burmester, Yvo Desmedt, Thomas Beth. Efficient Zero-Knowledge Identification Schemes for Smart Cards
30 -- 40Rogério de Lemos, Amer Saeed, Tom Anderson. A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems
41 -- 44Brian A. Wichmann. A Note on the Use of Floating Point in Critical Systems
45 -- 51Myoung-Ho Kim, Sakti Pramanik. Optimizing Database Accesses for Parallel Processing of Multikey Range Searches
52 -- 61Ian F. Akyildiz. Performance Analysis of a Multiprocessor System Model with Process Communication
62 -- 70Richard G. Börn, James R. Kenevan. Theoretical Performance-Based Cost-Effectiveness of Multicomputers
71 -- 80H. Shen. Self-Adjusting Mapping: A Heuristic Mapping Algorithm for Mapping Parallel Programs on to Transputer Networks
81 -- 87D. Kaur. Hierarchical Hypernet for Pipelining
88 -- 90M. Vassallo, Anthony Ralston. Algorithms for De Bruijn Sequences - A Case Study in the Empirical Analysis of Algorithms
91 -- 92Appie van de Liefvoort. An Iterative Algorithm for the Reve s Puzzle (Short Note)