Journal: Comput. J.

Volume 41, Issue 8

518 -- 536Boris Mirkin. Least-Squares Structuring, Clustering and Data Processing Issues
537 -- 546Y. H. Li, Anil K. Jain. Classification of Text Documents
547 -- 558Valerie J. Gillet, David J. Wild, Peter Willett 0002, John Bradshaw. Similarity and Dissimilarity Methods for Processing Chemical Structure Databases
559 -- 565Ryuichi Oka. Spotting Method for Classification of Real World Data
566 -- 577Lawrence Hubert, Phipps Arabie, Jacqueline J. Meulman. The Representation of Symmetric Proximity Data: Dimensions and Classifications
578 -- 588Chris Fraley, Adrian E. Raftery. How Many Clusters? Which Clustering Method? Answers Via Model-Based Cluster Analysis
589 -- 601Dian I. Witter, Michael W. Berry. Downdating the Latent Semantic Indexing Model for Conceptual Information Retrieval
602 -- 611Chris S. Wallace. Intrinsic Classification of Spatially Correlated Data

Volume 41, Issue 7

429 -- 443R. Benjamin, B. Gladman, Brian Randell. Protecting IT Systems from Cyber Crime
444 -- 458Harold W. Thimbleby, Stuart Anderson, Paul A. Cairns. A Framework for Modelling Trojans and Computer Virus Infection
459 -- 473Luc Moreau, Wendy Hall. On the Expressiveness of Links in Hypertext Systems
474 -- 485Pasi Fränti, Timo Hatakka. Context Model Automata for Text Compression
486 -- 502Stuart E. Mitchell, Andy J. Wellings, Alexander B. Romanovsky. Distributed Atomic Actions in Ada 95
503 -- 516Andrea Sanna, Paolo Montuschi, Massimo Rossi. A Flexible Algorithm for Multiprocessor Ray Tracing

Volume 41, Issue 6

357 -- 362Michael Prasse, Peter Rittgen. Why Church s Thesis Still Holds. Some Notes on Peter Wegner s Tracts on Interaction and Computability
363 -- 375Hugh Robinson, Patrick A. V. Hall, Fiona Hovenden, Janet Rachel. Postmodern Software Development
376 -- 385Sanjay Kumar Madria. Handling of Mutual Conflicts in Distributed Databases Using Timestamps
386 -- 401Declan P. Kelly. ARC: A Specification Language for Communicating Systems
402 -- 415Kelvin Kam Wing Chu, Sze Kin Lam, Man Hon Wong. An Efficient Hash-Based Algorithm for Sequence Data Searching
416 -- 421Zbigniew J. Czech. Quasi-Perfect Hashing
422 -- 424Erkki Mäkinen. Binary Tree Code Words as Context-Free Languages

Volume 41, Issue 5

283 -- 296W. Paul Cockshott, Douglas R. McGregor, John Wilson. High-Performance Operations Using a Compressed Database Architecture
297 -- 310Maarten van Steen, Franz J. Hauck, Gerco Ballintijn, Andrew S. Tanenbaum. Algorithmic Design of the Globe Wide-Area Location Service
311 -- 318Theo P. van der Weide, T. W. C. Huibers, Patrick van Bommel. The Incremental Searcher Satisfaction Model for Information Retrieval
319 -- 336Stuart G. Hoggar, Lindsey Menzies. Fractal Compression and the Jigsaw Property I
337 -- 349Roberto Baldoni, Roberto Beraldi, Ravi Prakash. Slotted-FIFO Communcation for Asynchronous Distributed Systems
349 -- 355Robert M. Hierons. Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine

Volume 41, Issue 4

207 -- 222Jie Wu, Eduardo B. Fernández, Donglai Dai. Optimal Fault-Secure Scheduling
223 -- 230Keqin Li. Optimizing Average Job Response Time via Decentralized Probabilistic Job Dispatching in Heterogeneous Multiple Computer Systems
231 -- 237I-Chen Wu, Loon-Been Chen. On Detection of Bounded Global Predicates
238 -- 242Savio S. H. Tse, Francis C. M. Lau. More on the Efficiency of Interval Routing
243 -- 253Ing-Ray Chen, Tsong-Min Chen, Chiang Lee. Performance Evaluation of Forwarding Strategies for Location Management in Mobile Networks
254 -- 269Shun-Shii Lin, Shan-Tai Chen. On Detecting Multiple Faults in Baseline Interconnection Networks
270 -- 277Khaled A. S. Abdel-Ghaffar. Detecting Substitutions and Transpositions of Characters

Volume 41, Issue 3

137 -- 144Roberto De Prisco, Alfredo De Santis. On the Data Expansion of the Huffman Compression Algorithm
145 -- 162Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Carlo Savy, Valeria Vittorini. Formal Specification of Concurrent Systems: A Structured Approach
163 -- 170Anton Biasizzo, Alenka Zuzek, Franc Novak. Sequential Diagnosis with Asymmetrical Tests
171 -- 184Leqiang Bai, Hiroyuki Ebara, Hideo Nakando, Hajime Maeda. Fault-Tolerant Broadcasting on the Arrangement Graph
185 -- 200Jamel Tayeb, Özgür Ulusoy, Ouri Wolfson. A Quadtree-Based Dynamic Attribute Indexing Method
201 -- 204Alois Panholzer, Helmut Prodinger. Towards a More Precise Analysis of an Algorithm to Generate Binary Trees: A Tutorial

Volume 41, Issue 2

67 -- 70Martyn Thomas. Myths of the Year 2000
71 -- 83Christopher B. Jones, J. Mark Ware. Proximity Search with a Triangulated Spatial Model
84 -- 97Peter Bodorik, Dawn N. Jutla. Multi-View Memory Support to Operating Systems in Locking for Transaction and Database Systems
98 -- 107Bryan F. Jones, David E. Eyres, H.-H. Sthamer. A Strategy for Using Genetic Algorithms to Automate Branch and Fault-Based Testing
108 -- 124Akhil Kumar, Noha Adly. HPP: A Reliable Causal Broadcast Protocol for Large-Scale Replication
125 -- 133Woei-Jiunn Tsaur, Shi-Jinn Horng. Establishing Secure Ethernet LANs Using Intelligent Switching Hubs in Internet Environments

Volume 41, Issue 1

1 -- 15Ana Cavalcanti, Jim Woodcock. A Weakest Precondition Semantics for Z
16 -- 25Michele Flammini, Jan van Leeuwen, Alberto Marchetti-Spaccamela. The Complexity of Interval Routing on Random Graphs
26 -- 44Soo-Mook Moon, Kemal Ebcioglu. The Performance Impact of Exploiting Branch ILP with Tree Representation of ILP Code
45 -- 51Giuseppe Alia, Enrico Martinelli. Logic Design of a Fast Circuit for Iterative Additions in Redundant Hybrid
52 -- 56Ding-Ming Kwai, Behrooz Parhami. Tight Bounds on the Diameter of Gaussian Cubes
57 -- 63Cos S. Ierotheou, C.-H. Lai, C. J. Palansuriya, K. A. Pericleous. Simulation of 2-D Metal Cutting by Means of a Distributed Algorithm