Table Of Content

Annual Author Index: 1996 AGar, J. 630 Huana, Y.-M. 525 Rusio, B. 889 Hul, L. C. K. 427 BARRINGER, H. 303 SAIEDIAN, H. 124 BEALOR, W. T. 675 INGRAM, R. 819 SALMINEN, A. 577 BENFORD, S. 819 SARBO, J. J. 868 BORGER, E. 52 JACKSON, D. J. 1 SCARPA, M. 647 Bozanis, P. 541 KILPATRICK, P. 145 SEDUKHIN, S. 713 Burns, A. 361 Kisios, N. 541 SEED, G. M. 808 KNIGHT, B. 800 SEKERINSKI, E. 701 CHANG, Y.-I. 511 KOrvER, W. H. F. J. 386 SEKHARAN, C. N. 36 CHEN, C.-M. 757 KOSKINEN, J. 577 SERE, K. 701 CHEN, I.-R. 757, 767 Koziris, N. 439 Sui, Q. 844 CHEN, T. Y. 619 KRANAKIS, E. 133 SINGH, G. 140 CHUNG, M. J. 417 KRrizAnc, D. 133 SKILLICORN, D. B. 471 SorupEH, R. 232 en oe CiarK, D. E. R. 808 LEVENE, M. 114 SPENCER, T. 124 CLINT, M. 145 Li, J. 346 Corney, J. R. 808 Lippe, E. 215 TAKAOKA, T. 413 CzecH, Z. J. 547 LITTLE, G. 808 TAYLOR, J. M. 561 Lota, V. 20 TER HOFSTEDE, A. H. M. 215, 255 DEL Greco, J. G. 36 THEEL, O. E. 496 Dew, P. M. 483 Ma, J. 800 Tosic, M. B. 663 Diaz, M. 889 McDOonaLp, A. B. 854 Troya, J. M. 889 DyorDEVvIC, G. Lj. 663 MACKENZIE, L. M. 232 TSAKALIDIS, A. 541 Dromey, R. G. 184, 203 MAHMOUD, W. 1 TSANAKAS, P. 439 Du, C. 837 MAJEWSKI, B. S. 547 TUBELLA, J. 780 DURDONOVIC, I. 52 Makris, C. 541 TURKAN, Y. 374 Dyer, M. E. 483 MarRIANI, J. A. 455 TUTTLE, R. 808 MARTEL, C. U. 427 Euias, E. 780 MEGHINI, C. 173 Uxusoy, 0. 374 MONAHAN, B. 303 -o me .7 naa Morrissey, J. M. 675 sili: 6 i FITzpaTRICK, S. 145 NARAYANAN, T. S. 45 VAN DER GAAG, L. €. 97 FLEISCH, B. D. 496 Nasu, J. M. 483 VAN DER WEIDE, Th. P. 255, 793 FOKKINGA, M. 408 bam aplig PREDERIKS P. J. M. 215, 793 OutD-Kuaoua, M. 232 ene Ses Oe ‘ ; VISVALINGAM, M. 751 PAAKKI, J. 577 GEDEON, T. D. 353 GESCHIERE, J. P. 386 Pan, S. 184, 203 Wana, D.-C. 767 Gopwin, A. N. 275 PAN, Y. 140 WANG, H.-J. 346 GONZALEZ, A. 780 PAPAKONSTANTINOU, G. 439 WARD, M. P. 598 Gouau, G. 303 PARHAMI, B. 241, 692 WELLINGS, A. J. 361 GRUNDY, J. 291 PENG, S. 14, 626, 713 WILLIAMS, A. 303 Gu, Q.-P. 14, 626 Proper, H. A. 255 WISE, M. J. 741 PULIAFITO, A. 647 WORMALD, N. C. 547 Hampi, M. 140 Qian, H. 331 a a 11 HARMER, T. J. 145 QUAGGETTO, M. 20 Wu. X 688 Havas, G. 547 eae Hierons, R. M. 325 RATHI, S. 36 Hsu, W.-J. 417 Ravi, S. S. 133 Yu, Y. T. 619 Hu, Z. 417 RAVISHANKAR, C. V. 525 HUuAna, C.-M. 511 RICCOBENE, S. 647 ZHANG, N. 844 HUuANG, D.-T. 511 RODDEN, T. 455 ZNATI, .T. 854 THE COMPUTER JOURNAL, VOL. 39, No. 10, 1996 Annual Author Index: 1996 AGar, J. 630 Huana, Y.-M. 525 Rusio, B. 889 Hul, L. C. K. 427 BARRINGER, H. 303 SAIEDIAN, H. 124 BEALOR, W. T. 675 INGRAM, R. 819 SALMINEN, A. 577 BENFORD, S. 819 SARBO, J. J. 868 BORGER, E. 52 JACKSON, D. J. 1 SCARPA, M. 647 Bozanis, P. 541 KILPATRICK, P. 145 SEDUKHIN, S. 713 Burns, A. 361 Kisios, N. 541 SEED, G. M. 808 KNIGHT, B. 800 SEKERINSKI, E. 701 CHANG, Y.-I. 511 KOrvER, W. H. F. J. 386 SEKHARAN, C. N. 36 CHEN, C.-M. 757 KOSKINEN, J. 577 SERE, K. 701 CHEN, I.-R. 757, 767 Koziris, N. 439 Sui, Q. 844 CHEN, T. Y. 619 KRANAKIS, E. 133 SINGH, G. 140 CHUNG, M. J. 417 KRrizAnc, D. 133 SKILLICORN, D. B. 471 SorupEH, R. 232 en oe CiarK, D. E. R. 808 LEVENE, M. 114 SPENCER, T. 124 CLINT, M. 145 Li, J. 346 Corney, J. R. 808 Lippe, E. 215 TAKAOKA, T. 413 CzecH, Z. J. 547 LITTLE, G. 808 TAYLOR, J. M. 561 Lota, V. 20 TER HOFSTEDE, A. H. M. 215, 255 DEL Greco, J. G. 36 THEEL, O. E. 496 Dew, P. M. 483 Ma, J. 800 Tosic, M. B. 663 Diaz, M. 889 McDOonaLp, A. B. 854 Troya, J. M. 889 DyorDEVvIC, G. Lj. 663 MACKENZIE, L. M. 232 TSAKALIDIS, A. 541 Dromey, R. G. 184, 203 MAHMOUD, W. 1 TSANAKAS, P. 439 Du, C. 837 MAJEWSKI, B. S. 547 TUBELLA, J. 780 DURDONOVIC, I. 52 Makris, C. 541 TURKAN, Y. 374 Dyer, M. E. 483 MarRIANI, J. A. 455 TUTTLE, R. 808 MARTEL, C. U. 427 Euias, E. 780 MEGHINI, C. 173 Uxusoy, 0. 374 MONAHAN, B. 303 -o me .7 naa Morrissey, J. M. 675 sili: 6 i FITzpaTRICK, S. 145 NARAYANAN, T. S. 45 VAN DER GAAG, L. €. 97 FLEISCH, B. D. 496 Nasu, J. M. 483 VAN DER WEIDE, Th. P. 255, 793 FOKKINGA, M. 408 bam aplig PREDERIKS P. J. M. 215, 793 OutD-Kuaoua, M. 232 ene Ses Oe ‘ ; VISVALINGAM, M. 751 PAAKKI, J. 577 GEDEON, T. D. 353 GESCHIERE, J. P. 386 Pan, S. 184, 203 Wana, D.-C. 767 Gopwin, A. N. 275 PAN, Y. 140 WANG, H.-J. 346 GONZALEZ, A. 780 PAPAKONSTANTINOU, G. 439 WARD, M. P. 598 Gouau, G. 303 PARHAMI, B. 241, 692 WELLINGS, A. J. 361 GRUNDY, J. 291 PENG, S. 14, 626, 713 WILLIAMS, A. 303 Gu, Q.-P. 14, 626 Proper, H. A. 255 WISE, M. J. 741 PULIAFITO, A. 647 WORMALD, N. C. 547 Hampi, M. 140 Qian, H. 331 a a 11 HARMER, T. J. 145 QUAGGETTO, M. 20 Wu. X 688 Havas, G. 547 eae Hierons, R. M. 325 RATHI, S. 36 Hsu, W.-J. 417 Ravi, S. S. 133 Yu, Y. T. 619 Hu, Z. 417 RAVISHANKAR, C. V. 525 HUuAna, C.-M. 511 RICCOBENE, S. 647 ZHANG, N. 844 HUuANG, D.-T. 511 RODDEN, T. 455 ZNATI, .T. 854 THE COMPUTER JOURNAL, VOL. 39, No. 10, 1996 Annual Subject Index: 1996 Ada 95 text, Burrows—Wheeler Transform 731 programming replicated systems, distributed systems prioritizing, theory of 701 361 Computation nested loops, scheduling 439 Algorithm Concurrent logic languages attribute graphs, relational databases, functional distributed systems, coordination model 876 dependencies 124 Control policies block sorting, compression 731 threshold-based, multimedia servers 757 Boyer—Moore, string-matching algorithm, on-line Copyright, version 413 Australian recommendations on computer software control, analysis of replicated data 767 protection 566 control, multimedia servers 757 Cyclic Towers of Hanoi Cyclic Towers of Hanoi, iteration 353 interesting properties, algorithm 353 finite state automata, invertibility, sequence overlap 325 global memory management, client-server DBMS 374 Data modelling node to node routing, hypercubes 14 conceptual, category theory 215 numerical, automated application of program language, semantics 275 transformations 145 Data on-line randomized competitive, searches 427 structures, numerical algorithm, automated application optimal, node-to-node fault tolerant routing in of program transformations 145 hypercubes 626 transfers, minimizing, distributed query processing 675 parallel associative memory, extreme-value searches Databases 241 client-server DBMS, memory management algorithm parallel, multiple broadcasting, k-dimensional meshes 374 140 Design reverse protocol verification 511 array processors, division-free linear system solving Architecture 713 Multipath, Prolog programs 780 Dictionary machines multiprocessor, compile-time scheduling heuristic 663 semi-X tree-based, VLSI algorithms 45 query formualtion, information retrieval 255 Discretizer Attribute graphs Bayesian, real-valued attributes 688 relational databases, functional dependencies 124 Distributed programming Automation development, new coordination model, programming automated reasoning, Bayesian belief networks 97 notations 876 automated systems, detecting suspected plagiarism 741 Distributed systems Distributed Systems Annex, Ada 95 361 Bandwidth parameterized network topologies 417 interconnection networks, hypergraphs 232 Bayesian ELLA belief networks, automated reasoning 97 formal semantics, process algebraic foundation 303 discretizer, real-valued attributes 688 Block sorting Family Burrows—Wheeler Transform, text compression 731 minimal perfect hash functions 547 Bus-based systems Fault tolerance performance analysis, bandwidth 346 performability parameters, client-server environments 647 Category theory Gaussian Cubes, parameterized network topologies 417 conceptual data modelling, semantics 215 programming replicated systems in Ada 95 361 Client-server routing, node to node, hypercubes 14 DBMS, memory management algorithm 374 Feature recognition evaluation of performability parameters 647 roads, cognitive approach 751 Compilation Fibonacci cube compilers, Occam, transputer code 52 Hamiltonian graphs, interconnection networks 331 Composition Finite state automata parallel, fractal image, quadtree recomposition | algorithms, invertibility, sequence overlap 325 THE COMPUTER JOURNAL , VoL. 39, No. 10, 1996 ii SUBJECT INDEX Flowers Report Lattices provision of digital computers to British universities concept sublattices, sub-knowledge bases 868 630 LEADS Foresight information visualization, legibility techniques 819 technology programme 561 Learning Functional dependency in universities, using distributed hypermedia 471 relational databases 114 Lisp relational databases, attribute graphs 124 object-oriented technology, CPLA 20 Logbooks Gaussian cubes object-oriented modelling 793 parameterized network topologies, distributed systems Logic 417 channels, coordination model, distributed systems 876 gotos first order, image retrieval 173 re-engineering loops, imperative programs 184 programming, object-oriented technology 20 removing, termination problems 203 reified temporal, non-temporal assertions 800 Loops Hamiltonian graphs nested, optimal scheduling of computations 439 re-engineering, gotos 184 Fibonacci cube, interconnection networks 331 Hash functions family of minimal perfect 547 Memory Heuristic machine, scalable shared queue 483 compile-time scheduling, multiprocessor architectures management, global algorithm, client-server DBMS 663 374 Hypercubes module, performance analysis, bus-based systems 346 Fibonacci cube, Hamiltonian graphs 331 parallel associative algorithm, extreme-value searches node to node routing 14 241 node-to-node fault-tolerant routing 626 shared, boundary-restricted coherence protocol 496 Hypergraphs Meshes high-performance parallel systems, interconnection k-dimensional, multiple broadcasting 140 networks 232 Modelling Hypermedia logical image, retrieval 173 distributed, collaborative learning in universities 471 object-oriented, logbooks 793 Hypertext surface modelling, novel interpolation method, grid- automated support, software maintenance 577 based terrains 837 Multimedia Images servers, threshold-based admission control policies 757 retrieval, logical model 173 Multiple broadcasting Imperative programs k-dimensional meshes 140 re-engineering loops 184 termination problems, removing gotos 203 Navigation Information urban planning, legibility techniques 819 retrieval, query formualtion, architecture 255 Neighbour greeting retrieval, relational databases, functional dependency network-layer reachability, ARP, ES-IS 854 114 Networks sharing, cooperative, shared object service 455 Belief networks, Bayesian, automated reasoning 97 storage, relational databases, functional dependency 114 interconnection, bandwidth, hypergraphs 232 visualization, LEADS, legibility techniques 819 network-layer reachability, neighbour greeting 854 Interconnection networks bus-based systems, performance analysis 346 Object-oriented Interpolation graph, recognition of geometric features 808 grid-based terrain modelling 837 modelling, logbooks 793 Invertibility technology, OPLA, common Lisp 20 sequence overlap, finite state automata 325 Objects non-constant size, red—blue intersection 541 Language OCCAM data modelling, semantics 275 compilation techniques, transputer code 52 THE COMPUTER JOURNAL , VoL. 39, No. 10, 1996 SUBJECT INDEX OPLA Replication object-oriented technology, common Lisp 20 programming replicated systems in Ada 95 361 replicated data, analysis, repair dependency 767 Parallel applications routing, multi-label linear interval 133 large-scale, formal framework 386 optimal algorithms for node-to-node fault tolerant Parallel systems routing 626 Fibonacci cube, interconnection networks 331 performance modelling, bandwidth, hypergraphs 232 Scheduling partition, testing strategies, constraints 619 computation of nested loops, 439 Performance Search analysis, bus-based systems, bandwidth 346 extreme-value, parallel associative memory algorithm modelling, parallel systems, interconnection networks, 241 hypergraphs 232 on-line randomized competitive algorithm 427 Petri Nets Security performability parameter, client-server environments electronic data interchange, non-repudiation of receipt 647 844 Plagiarism Self-reference automated systems, detection 741 expressions, formal systems 408 Predicates Semantics reified temporal logic 800 category theory, conceptual data modelling 215 Procedure calls data modelling language 275 prototyping 525 Process algebra formal, process algebraic foundation 303 reasoning, ELLA 303 reified temporal logic 800 Processor design Sequence overlap division-free linear system solving 713 invertibility, finite stat automata 325 Programs Servers analysis, formal transformation 598 multimedia, threshold-based admission control policies transformation, automated application, numerical 757 algorithm 145 Shared object service transfomation, Cyclic Towers of Hanoi, algorithm 353 developing, cooperative information sharing 455 Prolog Software Multipath architecture for programs 780 engineering, parallel applications, formal framework Protocol 386 ARP, ES-IS, neighbour greeting 854 maintenance, automated hypertext support 577 coherence, boundary-restricted, distributed shared protection, Australian recommendations 566 memory 496 Sub-knowledge bases reverse, concept, algorithm and application 511 concept sublattices 868 Prototyping Syntax remote procedure calls, URPC 525 reified temporal logic 800 Systems Quadtree recomposition formal systems, self-referencing expressions 408 parallel fractal image compression 1 system solving, division-free, linear 713 Query formualtion, information retrieval, architecture 255 Temporal processing, minimizing data transfers 675 non-temporal, reified temporal logic 800 Queue Termination scalable shared, distributed memory machine 483 removing gotos 203 Ranking Terrain modelling relative unranking, binary trees 36 grid-based, novel interpolation method 837 Reasoning Threshold voting hierachical, window inference, transformations 291 parallel 692 Recognition Toolkit geometric features, object-oriented graph 808 URPC, prototyping remote procedure calls 525 Relational databases Topography attribute graphs, functional dependencies 124 road recognition, cognitive approach, novel feature functional dependency 114 indicators 751 THE COMPUTER JOURNAL , VoL. 39, No. 10, 1996 iv SUBJECT INDEX Transformation Universities formal, program analysis 598 British, provision of digital computers 630 transform, Burrows—Wheeler, block sorting, text Urban planning compression 731 information visualization, legibility techniques 819 window inference, hierarchical reasoning 291 Voting Trees parallel threshold 692 binary, relative unranking 36 semi-X tree-based, dictionary machines, VLSI Window inference algorithms 45 transformations, hierarchical reasoning 291 THE COMPUTER JOURNAL, VOL. 39, No. 10, 1996