External Links

    Journal: Comput. J.

    Volume 42, Issue 8

    627 -- 637Alexander B. Romanovsky. On Structuring Cooperative and Competitive Concurrent Systems
    638 -- 649Keith M. Martin, Reihaneh Safavi-Naini, Huaxiong Wang. Bounds and Techniques for Efficient Redistribution of Secret Shares to New Access Structures
    650 -- 673Martin P. Ward, Keith H. Bennett. Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension
    674 -- 692Kam-yiu Lam, Chung-Leung Pang, Sang Hyuk Son, Jiannong Cao. Resolving Executing-Committing Conflicts in Distributed Real-time Database Systems
    693 -- 698Hing Leung, Tsong Yueh Chen. A New Perspective of the Proportional Sampling Strategy
    699 -- 712Voon-Yee Vee, Wen-Jing Hsu. Applying Cilk in Provably Efficient Task Scheduling

    Volume 42, Issue 7

    547 -- 568Mounia Lalmas. A Model for Representing and Retrieving Heterogeneous Structured Documents Based on Evidential Reasoning
    569 -- 581Ning Zhang, Qi Shi, Madjid Merabti. A Flexible Approach to Secure and Fair Document Exchange
    582 -- 591Francesca Arcelli Fontana, Ferrante Formato, Remo Pareschi. Computational Models for Information Reuse
    592 -- 608Wanlei Zhou, Andrzej M. Goscinski. Managing Replicated Remote Procedure Call Transactions
    609 -- 612Esther Jennings. Distributed Algorithms for Finding Central Paths in Tree Networks
    613 -- 622Tatsuhiro Tsuchiya, Tohru Kikuno. Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks

    Volume 42, Issue 6

    441 -- 0Mohan Kumar. Special Issue Editorial: Mobile Computing
    442 -- 454Kevin W. Froese, Richard B. Bunt. Cache Management for Mobile File Service
    455 -- 472Cedric C. F. Fong, John C. S. Lui, Man Hon Wong. Distributed Caching and Broadcast in a Wireless Mobile Computing Environment
    473 -- 486Sajal K. Das, Sanjoy K. Sen. Adaptive Location Prediction Strategies Based on a Hierarchical Network Model in a Cellular Mobile Environment
    487 -- 500Sihui Zhou, Aruna Seneviratne, Terry Percival. An Efficient Location Management Scheme for Hybrid Wireless Asynchronous Transfer Mode Networks
    501 -- 510Ersan Kayan, Özgür Ulusoy. An Evaluation of Real-Time Transaction Management Issues in Mobile Database Systems
    511 -- 521Guan-Chi Chen, Suh-Yin Lee. An Analytic Model for Performance Analysis of Concurrency Control Strategies in Mobile Environments
    522 -- 533Kuang-Hwei Chi, Chien-Chao Tseng, Ting-Lu Huang. A Framework for Mobile Multicast Using Dynamic Route Reconstructions
    534 -- 546Timothy W. Bickmore, Andreas Girgensohn, Joseph W. Sullivan. Web Page Filtering and Re-Authoring for Mobile Users

    Volume 42, Issue 5

    349 -- 359Arthur H. M. ter Hofstede, Maria E. Orlowska. On the Complexity of Some Verification Problems in Process Control Specifications
    360 -- 372Norman Ramsey. Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions
    373 -- 390Mayez A. Al-Mouhamed. Evolution-Based Scheduling of Computations and Communications on Distributed Memory Multicomputers
    391 -- 399Robert W. P. Luk. Near Optimal beta Heap
    400 -- 408Tadao Takaoka. O(1) Time Algorithms for Combinatorial Generation by Tree Traversal
    409 -- 421Po-Jen Chuang, Huey-Ming Hsu. Effective Fault Diagnosis Approaches for Multiphath Networks
    422 -- 429Miroslav Bojovic, Milo Tomasevic, Jovan Djordjevic. The Interactive Development and Testing System for a RISC-Style Processor
    430 -- 440Tsong Yueh Chen, Man Fai Lau. On the Completeness of a Test Suite Reduction Strategy

    Volume 42, Issue 4

    252 -- 255Alexander Gammerman, Vladimir Vovk. Kolmogorov Complexity: Sources, Theory and Applications
    256 -- 259Ray J. Solomonoff. Two Kinds of Probabilistic Induction
    260 -- 269Jorma Rissanen. Hypothesis Selection and Testing by the MDL Principle
    270 -- 283Chris S. Wallace, David L. Dowe. Minimum Message Length and Kolmogorov Complexity
    284 -- 286Leonid A. Levin. Robust Measures of Information
    287 -- 293Tao Jiang, Ming Li, Paul M. B. Vitányi. New Applications of the Incompressibility Method
    294 -- 317Vladimir V. V yugin. Algorithmic Complexity and Stochastic Properties of Finite Binary Sequences
    318 -- 322Vladimir Vovk, Alexander Gammerman. Complexity Approximation Principle
    323 -- 326A. P. Dawid. Discussion of the Papers by Rissanen and by Wallace and Dowe
    327 -- 329Jorma Rissanen. Discussion of Paper Minimum Message Length and Kolmogorov Complexity by C. S. Wallace and D. L. Dowe
    330 -- 337Chris S. Wallace, David L. Dowe. Refinements of MDL and MML Coding
    338 -- 339B. Clarke. Discussion of the Papers by Rissanen, and by Wallace and Dowe
    340 -- 342Alexander Shen. Discussion on Kolmogorov Complexity and Statistical Analysis
    343 -- 344Jorma Rissanen. Rejoinder
    345 -- 347Chris S. Wallace, David L. Dowe. Rejoinder

    Volume 42, Issue 3

    153 -- 176Harry W. Agius, Marios C. Angelides. COSMOS - Content Oriented Semantic Modelling Overlay Scheme
    177 -- 192Richard Bornat, Bernard Sufrin. Animating Formal Proof at the Surface: The Jape Proof Calculator
    193 -- 201Hugh E. Williams, Justin Zobel. Compressing Integers for Fast File Access
    202 -- 220Weijia Jia, Jiannong Cao, To-Yat Cheung, Xiaohua Jia. A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks
    221 -- 231Kecheng Liu, Tina Ong. A Modelling Approach for Handling Business Rules and Exceptions
    232 -- 240Ahmad A. Hiasat, Hoda S. Abdel-Aty-Zohdy. Semi-Custom VLSI Design and Implementation of a New Efficient RNS Division Algorithm
    241 -- 250Neven Tomov, Euan W. Dempster, M. Howard Williams, Peter J. B. King, Albert Burger. Approximate Estimation of Transaction Response Time

    Volume 42, Issue 2

    73 -- 81Birgit Schieder, Manfred Broy. Adapting Calculational Logic to the Undefined
    82 -- 99Richard F. Paige. Integrating a Program Design Calculus and a Subset of UML
    100 -- 111Ykä Huhtala, Juha Kärkkäinen, Pasi Porkka, Hannu Toivonen. TANE: An Efficient Algorithm for Discovering Functional and Approximate Dependencies
    112 -- 128Chung-Ming Huang, Ming-Yuhe Jang. Interactive Temporal Behaviours and Modelling for Multimedia Presentations in te WWW Environment
    129 -- 141Min-Sheng Lin, Deng-Jyi Chen, Maw-Sheng Horng. The Reliability Analysis of Distributed Computing Systems with Imperfect Nodes
    142 -- 149W. F. Wong. Source Level Static Branch Prediction

    Volume 42, Issue 1

    1 -- 10Lloyd Allison, David R. Powell, Trevor I. Dix. Compression and Approximate Matching
    11 -- 23Seyit Kocberber, Fazli Can, Jon Patton. Optimization of Signature File Parameters for Database with Varying Record Lengths
    24 -- 38Manhoi Choy. Consistent Implementations of Replicated Objects
    39 -- 50Gajanan S. Chinchwadkar, Angela Goh. An Overview of Vertical Partitioning in Object-Oriented Databases
    51 -- 61Carlo Blundo, Paolo D Arco, Antonio Giorgio Gaggia. A tau-Restricted Key Agreement Scheme
    62 -- 72Samia Loucif, Mohamed Ould-Khaoua, Lewis M. Mackenzie. On the Performance Merits of Bypass Channels in Hypermeshes and ::::k::::-Ary ::::n::::-Cubes
    runs on