External Links

    Journal: Comput. J.

    Volume 43, Issue 6

    439 -- 450James Noble. Arguments and Results
    451 -- 468Kevin Lano, Robert B. France, Jean-Michel Bruel. A Semantic Comparison of Fusion and Syntropy
    469 -- 481Konstantin Läufer, Gerald Baumgartner, Vincent F. Russo. Safe Structural Conformance for Java
    482 -- 490Houman Younessi. An Algorithm for Automatic Construction of Class Diagrams
    491 -- 511Suad Alagic. Temporal Object-Oriented Programming
    512 -- 523Eun-Sun Cho, Hyoung-Joo Kim. Interface/implementation Separation Mechanism for Integrating Object-oriented Management Systems and General-purpose Programming Languages
    524 -- 537Jung Ho Ahn, Hyoung-Joo Kim. Dynamic SEOF: An Adaptable Object Prefetch Policy for Object-oriented Database Systems

    Volume 43, Issue 5

    345 -- 363Helen Ashman. Relations Modelling Sets of Hypermedia Links and Navigation
    364 -- 385Sourav S. Bhowmick, Sanjay Kumar Madria, Wee Keong Ng, Ee-Peng Lim. Data Visualization Operators for WHOWEDA
    386 -- 395Sheng-Tzong Cheng, Chia-Mei Chen. Dynamic Round-based Resource Management for On-demand Multimedia Servers
    396 -- 410Duen-Ren Liu, Chen-Hsien Lin, Jing-Jang Hwang. Classifying Video Documents by Hierarchical Structure of Video Contents
    411 -- 419Hamid Sarbazi-Azad, Mohamed Ould-Khaoua, Lewis M. Mackenzie. Message Latency in Hypercubes in the Presence of Matrix-Transpose Traffic
    420 -- 429Antigoni Manousaka, Yannis Manolopoulos. Fringe Analysis of 2-3 Trees with Lazy Parent Split
    430 -- 437Willy Susilo, Reihaneh Safavi-Naini, Marc Gysin, Jennifer Seberry. A New and Efficient Fail-stop Signature Scheme

    Volume 43, Issue 4

    252 -- 265Hugh Glaser, Pieter H. Hartel, Paul W. Garratt. Programming by Numbers: A Programming Method for Novices
    266 -- 273Sherali Zeadally. Implementation and Performance of QoS-aware Java Applications over ATM Networks
    274 -- 289Tijn Borghuis, Loe M. G. Feijs. A Constructive Logic for Services and Information Flow in Computer Networks
    290 -- 300Limin Xiang, Kazuo Ushijima, Selim G. Akl. Generating Regular k-ary Trees Efficiently
    301 -- 314Eleni Tousidou, Alexandros Nanopoulos, Yannis Manolopoulos. Improved Methods for Signature-Tree Construction
    315 -- 324Kuo-Liang Chung, Hsiu-Niang Chen. A Neighbor-finding Algorithm for Bincode-based Images on Reconfigurable Meshes
    325 -- 343Theodoros Tzouramanis, Michael Vassilakopoulos, Yannis Manolopoulos. Overlapping Linear Quadtrees and Spatio-Temporal Query Processing

    Volume 43, Issue 3

    168 -- 176Ian Holyer, Hüseyin Pehlivan. A Recovery Mechanism for Shells
    177 -- 190Tatiana Tambouratzis. Counter-clustering for Training Pattern Selection
    191 -- 205Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini. Formally Verifying Fault Tolerant System Designs
    206 -- 223Samir M. Koriem. A Fuzzy Petri Net Tool For Modeling and Verification of Knowledge-Based Systems
    224 -- 242Søren Christensen, Laure Petrucci. Modular Analysis of Petri Nets
    243 -- 249Cyril Gavoille. On the Dilation of Interval Routing

    Volume 43, Issue 2

    95 -- 106Brian Randell. Turing Memorial Lecture Facing Up to Faults
    107 -- 120Fionn Murtagh, Jean-Luc Starck, Michael W. Berry. Overcoming the Curse of Dimensionality in Clustering by Means of the Wavelet Transform
    121 -- 129Fabrizio Luccio, Mohammed Mahafzah, Mahmoud Al-Omari, Linda Pagli. Masked Interval Routing: A New Routing Scheme
    130 -- 137Marina Papatriantafilou, Philippas Tsigas. Wait-Free Handshaking Using Rainbow Colouring
    138 -- 151Lizy Kurian John. Data Placement Schemes to Reduce Conflicts in Interleaved Memories
    152 -- 166Imtiaz Ahmad, Muhammad K. Dhodhi, Faridah M. Ali. TLS: A Tabu Search Based Scheduling Algorithm for Behavioral Synthesis of Functional Pipelines

    Volume 43, Issue 1

    1 -- 12Gianni Amati, Iadh Ounis. Conceptual Graphs and First Order Logic
    13 -- 23Jeremy M. R. Martin. A Tool for Checking the CSP sat Property
    24 -- 39A. D. Pengelly, Darrel C. Ince. Quotient Machines, the Interface Equation and Protocol Conversion
    40 -- 53John A. Ellis, Minko Markov. In situ, Stable Merging by Way of the Perfect Shuffle
    54 -- 64Simon Y. Berkovich, Eyas El-Qawasmeh. Reversing the Error-Correction Scheme for a Fault-Tolerant Indexing
    65 -- 80Kam-yiu Lam, Tei-Wei Kuo, Wai-Hung Tsang, Gary C. K. Law. The Reduced Ceiling Protocol for Concurrency Control in Real-time Databases with Mixed Transactions
    81 -- 93Suk-Kyu Song, Narasimhaiah Gorla. A Genetic Algorithm for Vertical Fragmentation and Access Path Selection
    runs on