%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.27",
%%%     date            = "24 August 2006",
%%%     time            = "16:42:00 MDT",
%%%     filename        = "compj2000.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "14956 11129 37813 440366",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "BibTeX; bibliography; British Computer
%%%                        Society; Computer Journal",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a preliminary bibliography of
%%%                        The Computer Journal (2000--date), the
%%%                        journal of the British Computer Society.
%%%                        The companion file, compj.bib, contains
%%%                        entries for 1958 to 1999.
%%%
%%%                        The journal was published quarterly from
%%%                        1958 to 1984, five times a year in 1985,
%%%                        six times a year from 1986 to 1992, eight
%%%                        times in 1993, ten times a year from 1994 to
%%%                        1997, eight times a year from 1998 to 1999,
%%%                        and six times a year from 2000 to date.
%%%
%%%                        The journal maintains a World-Wide Web site
%%%                        at
%%%
%%%                            http://www.oup.co.uk/comjnl/
%%%                            http://www3.oup.co.uk/computer_journal/
%%%
%%%                        That site offers tables of contents and
%%%                        abstracts for journal articles, starting
%%%                        with Volume 39 (1996).  URL values in the
%%%                        bibliography entries below provide pointers
%%%                        to the abstracts.
%%%
%%%                        The journal online edition Web site at
%%%
%%%                            http://www.oup.co.uk/computer_journal/
%%%
%%%                        may have more recent information about the
%%%                        journal contents.  It includes tables of
%%%                        contents and abstracts for volume 35 (1992)
%%%                        onward, but regrettably, no page number
%%%                        information at all.
%%%
%%%                        At version 1.27, the year coverage looked
%%%                        like this:
%%%
%%%                             1995 (   1)    1999 (   0)    2003 (  97)
%%%                             1996 (   0)    2000 (  39)    2004 (  93)
%%%                             1997 (   0)    2001 (  49)    2005 (  89)
%%%                             1998 (   1)    2002 (  96)    2006 (  75)
%%%
%%%                             Article:        499
%%%                             Book:            39
%%%                             Proceedings:      2
%%%
%%%                             Total entries:  540
%%%
%%%                        Coverage is essentially complete for volumes
%%%                        1--16 (1958--1973), thanks to the publisher's
%%%                        provision of scanned page images and
%%%                        bibliographic data for those volumes, except
%%%                        for a small number of discrepancies recorded
%%%                        in xxnote fields, and book reviews that are
%%%                        not recorded in the publisher's tables of
%%%                        contents.
%%%
%%%                        Coverage should also be complete for volumes
%%%                        35--date (1992--date), again thanks to the
%%%                        publisher's provision of scanned page images
%%%                        and/or article PDF files, and bibliographic
%%%                        data for those volumes, except for a small
%%%                        number of discrepancies recorded in xxnote
%%%                        field, several missing page numbers, and book
%%%                        reviews that are not recorded in the
%%%                        publisher's tables of contents.
%%%
%%%                        Mutual cross references have been provided
%%%                        between articles and letters, so that citing
%%%                        the initial publication will automatically
%%%                        include citations that refer back to it with
%%%                        comments, notes, and errata.  The consistency
%%%                        of these cross references has been ensured by
%%%                        a separate utility program.
%%%
%%%                        Entries are also included for reviewed books,
%%%                        starting with the issues from the year 2005.
%%%
%%%                        Algorithm coverage is complete for Algorithms
%%%                        1--9, 16--33, and 35--128.  I have been unable to
%%%                        locate Algorithms 10--15, although there are
%%%                        references to them. Perhaps they appeared in
%%%                        the companion publication, The Computer
%%%                        Bulletin, but were never republished in The
%%%                        Computer Journal, as Algorithms 1--9 were.
%%%                        Algorithm 34 is in volume 11, number 2,
%%%                        pp. 232--235, but the TIFF files for those
%%%                        pages are corrupted.  Algorithm number 69 was
%%%                        mistakenly assigned twice: in volume 14,
%%%                        number 2, pp. 213--214, and volume 14, number
%%%                        4, pp. 444--445.  Algorithm 82 was mistakenly
%%%                        unnumbered in volume 17, number 4,
%%%                        pp. 377--378.
%%%
%%%                        This bibliography was initially built from
%%%                        searches in the OCLC Content1st database.
%%%                        Additions were then made from all of the
%%%                        bibliographies in the TeX User Group
%%%                        collection, from bibliographies in the
%%%                        author's personal files, from the Compendex
%%%                        databases (1970--1996), from the IEEE
%%%                        INSPEC database (1968--1996), from
%%%                        the American Mathematical Society
%%%                        MathSciNet database, from the journal Web
%%%                        sites, and from the computer science
%%%                        bibliography collection on ftp.ira.uka.de
%%%                        in /pub/bibliography to which many people
%%%                        of have contributed.  The snapshot of this
%%%                        collection was taken on 5-May-1994, and it
%%%                        consists of 441 BibTeX files, 2,672,675
%%%                        lines, 205,289 entries, and 6,375
%%%                        <at>String{} abbreviations, occupying
%%%                        94.8MB of disk space.
%%%
%%%                        Numerous errors in the sources noted above
%%%                        have been corrected.  Spelling has been
%%%                        verified with the UNIX spell and GNU ispell
%%%                        programs using the exception dictionary
%%%                        stored in the companion file with extension
%%%                        .sok.
%%%
%%%                        BibTeX citation tags are uniformly chosen as
%%%                        name:year:abbrev, where name is the family
%%%                        name of the first author or editor, year is a
%%%                        4-digit number, and abbrev is a 3-letter
%%%                        condensation of important title words.
%%%                        Citation labels were automatically generated
%%%                        by software developed for the BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted in
%%%                        publication order, with the help of ``bibsort
%%%                        -byvolume''.  The bibsort utility is
%%%                        available from ftp.math.utah.edu in
%%%                        /pub/tex/bib.  Care should be taken, however,
%%%                        to avoid resorting existing entries, because
%%%                        of the unusual page numbering introduced with
%%%                        volume 34, number 6, 1991.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

@Preamble{
    "\hyphenation{
        road-maps
        Foth-er-gill
        Mour-las
        Gen-eric
    }" #
    "\ifx \dbar \undefined \def \dbar {\leavevmode\raise0.2ex\hbox{--}\kern-0.5emd} \fi" #
    "\ifx \Dbar \undefined \def \Dbar {\leavevmode\raise0.2ex\hbox{--}\kern-0.5emD} \fi"
}

%%% ====================================================================
%%% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Journal abbreviations:

@String{j-COMP-J                = "The Computer Journal"}

@String{j-LECT-NOTES-COMP-SCI   = "Lecture Notes in Computer Science"}

%%% ====================================================================
%%% Publishers and their addresses:

@String{pub-AMS                 = "American Mathematical Society"}
@String{pub-AMS:adr             = "Providence, RI, USA"}

@String{pub-AW                  = "Ad{\-d}i{\-s}on-Wes{\-l}ey"}
@String{pub-AW:adr              = "Reading, MA, USA"}

@String{pub-CAMBRIDGE           = "Cambridge University Press"}
@String{pub-CAMBRIDGE:adr       = "Cambridge, UK"}

@String{pub-KLUWER              = "Kluwer Academic Publishers Group"}
@String{pub-KLUWER:adr          = "Norwell, MA, USA, and Dordrecht,
                                  The Netherlands"}

@String{pub-MANNING             = "Manning Publications"}
@String{pub-MANNING:adr         = "Greenwich, CT, USA"}

@String{pub-MIT                 = "MIT Press"}
@String{pub-MIT:adr             = "Cambridge, MA, USA"}

@String{pub-MORGAN-KAUFMANN     = "Morgan Kaufmann Publishers"}
@String{pub-MORGAN-KAUFMANN:adr = "San Francisco, CA, USA and Amsterdam, The
                                  Netherlands"}

@String{pub-SV                  = "Spring{\-}er-Ver{\-}lag"}
@String{pub-SV:adr              = "Berlin, Germany~/ Heidelberg,
                                  Germany~/ London, UK~/ etc."}

@String{pub-WILEY               = "Wiley"}
@String{pub-WILEY:adr           = "New York, NY, USA"}

@String{pub-WILEY-INTERSCIENCE  = "Wiley-In{\-}ter{\-}sci{\-}ence"}
@String{pub-WILEY-INTERSCIENCE:adr = "New York, NY, USA"}

%%% ====================================================================
%%% Series abbreviations:

@String{ser-LNCS                = "Lecture Notes in Computer Science"}

%%% ====================================================================
%%% Bibliography entries:

@Article{Thimbleby:1998:FMT,
  author =       "Harold Thimbleby and Stuart Anderson and Paul Cairns",
  title =        "A Framework for Modelling {Trojans} and Computer Virus
                 Infection",
  journal =      j-COMP-J,
  volume =       "41",
  number =       "7",
  pages =        "445--458",
  month =        "????",
  year =         "1998",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 21 09:55:36 MDT 1999",
  bibsource =    "http://www3.oup.co.uk/computer_journal/Volume_41/Issue_07/Vol41_07.index.html",
  note =         "See comments
                 \cite{Makinen:2001:CFM,Thimbleby:2001:RCS,Cohen:2001:RCS}.",
  URL =          "http://www3.oup.co.uk/computer_journal/Volume_41/Issue_07/Vol41_07.body.html#AbstractThimbleby",
  acknowledgement = ack-nhfb,
  author-1-adr = "School of Computing Science, Middlesex University,
                 Bounds Green Road, London N11 2NQ, UK",
  author-2-adr = "Department of Computer Science, Edinburgh University,
                 King$^{}^1$s Road, Edinburgh EH9 3JZ, UK",
  author-3-adr = "School of Computing Science, Middlesex University,
                 Bounds Green Road, London N11 2NQ, UK",
  email-1 =      "harold@mdx.ac.uk",
  email-2 =      "soa@lfcs.ed.ac.uk",
  email-3 =      "p.cairns@mdx.ac.uk",
}

@Article{Amati:2000:CGF,
  author =       "Gianni Amati and Iadh Ounis",
  title =        "Conceptual Graphs and First Order Logic",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "1",
  pages =        "1--12",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Apr 28 16:20:55 2000",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_01/430001.sgm.abs.html",
  acknowledgement = ack-nhfb,
}

@Article{Martin:2000:TCC,
  author =       "Jeremy M. R. Martin",
  title =        "A Tool for Checking the {CSP} sat Property",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "1",
  pages =        "13--23",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Apr 28 16:14:20 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_01/430013.sgm.abs.html",
  acknowledgement = ack-nhfb,
}

@Article{Pengelly:2000:QMI,
  author =       "A. D. Pengelly and D. C. Ince",
  title =        "Quotient Machines, the Interface Equation and Protocol
                 Conversion",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "1",
  pages =        "24--39",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Apr 28 16:14:20 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_01/430024.sgm.abs.html",
  acknowledgement = ack-nhfb,
}

@Article{Ellis:2000:SSM,
  author =       "John Ellis and Minko Markov",
  title =        "In situ, Stable Merging by Way of the Perfect
                 Shuffle",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "1",
  pages =        "40--53",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Apr 28 16:14:20 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_01/430040.sgm.abs.html",
  acknowledgement = ack-nhfb,
}

@Article{Berkovich:2000:REC,
  author =       "Simon Y. Berkovich and Eyas El-Qawasmeh",
  title =        "Reversing the Error-Correction Scheme for a
                 Fault-Tolerant Indexing",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "1",
  pages =        "54--64",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Apr 28 16:14:20 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_01/430054.sgm.abs.html",
  acknowledgement = ack-nhfb,
}

@Article{Lam:2000:RCP,
  author =       "Kam-yiu Lam and Tei-Wei Kuo and Wai-Hung Tsang and
                 Gary C. K. Law",
  title =        "The Reduced Ceiling Protocol for Concurrency Control
                 in Real-time Databases with Mixed Transactions",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "1",
  pages =        "65--80",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Apr 28 16:14:20 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_01/430065.sgm.abs.html",
  acknowledgement = ack-nhfb,
}

@Article{Song:2000:GAV,
  author =       "Suk-Kyu Song and Narasimhaiah Gorla",
  title =        "A Genetic Algorithm for Vertical Fragmentation and
                 Access Path Selection",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "1",
  pages =        "81--93",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Apr 28 16:14:20 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_01/430081.sgm.abs.html",
  acknowledgement = ack-nhfb,
}

@Article{Randell:2000:TML,
  author =       "Brian Randell",
  title =        "{Turing Memorial Lecture}: Facing Up to Faults",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "2",
  pages =        "95--106",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Apr 28 16:20:55 2000",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/430095.pdf;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/430095.sgm.abs.html",
  abstract =     "As individuals, organisations and indeed the world at
                 large have become more dependent on computer-based
                 systems, so there has been an ever-growing amount of
                 research into means for improving the dependability of
                 these systems. In particular there has been much work
                 on trying to gain increased understanding of the many
                 and varied types of faults that need to be prevented or
                 tolerated in order to reduce the probability and
                 severity of system failures. In this talk I discuss the
                 assumptions that are often made by computing system
                 designers regarding faults, survey a number of
                 continuing issues related to fault tolerance, and
                 identify some of the latest challenges facing
                 researchers in this arena.",
  acknowledgement = ack-nhfb,
  remark =       "Second Turing Lecture: what was the first?",
}

@Article{Murtagh:2000:OCD,
  author =       "Fionn Murtagh and Jean-Luc Starck and Michael W.
                 Berry",
  title =        "Overcoming the Curse of Dimensionality in Clustering
                 by Means of the Wavelet Transform",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "2",
  pages =        "107--120",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Apr 28 16:14:22 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/430107.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/pdf/430107.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Luccio:2000:MIR,
  author =       "F. Luccio and M. Mahafzah and M. Omari and L. Pagli",
  title =        "Masked Interval Routing: {A} New Routing Scheme",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "2",
  pages =        "121--129",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Apr 28 16:14:22 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/430121.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/pdf/430121.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Papatriantafilou:2000:WFH,
  author =       "Marina Papatriantafilou and Phillippas Tsigas",
  title =        "Wait-Free Handshaking Using Rainbow Colouring",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "2",
  pages =        "130--137",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Apr 28 16:14:22 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/430130.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/pdf/430130.pdf",
  acknowledgement = ack-nhfb,
}

@Article{John:2000:DPS,
  author =       "Lizy Kurian John",
  title =        "Data Placement Schemes to Reduce Conflicts in
                 Interleaved Memories",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "2",
  pages =        "138--151",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Apr 28 16:14:22 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/430138.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/pdf/430138.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Ahmad:2000:TTS,
  author =       "Imtiaz Ahmad and Muhammad K. Dhodhi and Faridah M.
                 Ali",
  title =        "{TLS}: {A} Tabu Search Based Scheduling Algorithm for
                 Behavioral Synthesis of Functional Pipelines",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "2",
  pages =        "152--166",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri Apr 28 16:14:22 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/430152.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_02/pdf/430152.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Holyer:2000:RMS,
  author =       "Ian Holyer and H{\"u}seyin Pehlivan.",
  title =        "A Recovery Mechanism for Shells",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "3",
  pages =        "168--176",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Sep 18 06:16:26 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/430168.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/pdf/430168.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Tambouratzis:2000:CCT,
  author =       "Tatiana Tambouratzis.",
  title =        "Counter-clustering for Training Pattern Selection",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "3",
  pages =        "177--190",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Sep 18 06:16:26 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/430177.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/pdf/430177.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Bernardeschi:2000:FVF,
  author =       "Cinzia Bernardeschi and Alessandro Fantechi and Luca
                 Simoncini.",
  title =        "Formally Verifying Fault Tolerant System Designs",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "3",
  pages =        "191--205",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Sep 18 06:16:26 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/430191.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/pdf/430191.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Koriem:2000:FPN,
  author =       "Samir M. Koriem.",
  title =        "A Fuzzy {Petri} Net Tool For Modeling and Verification
                 of Knowledge-Based Systems",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "3",
  pages =        "206--223",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Sep 18 06:16:26 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/430206.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/pdf/430206.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Christensen:2000:MAP,
  author =       "S{\o}ren Christensen and Laure Petrucci.",
  title =        "Modular Analysis of {Petri} Nets",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "3",
  pages =        "224--242",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Sep 18 06:16:26 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/430224.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/pdf/430224.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Gavoille:2000:DIR,
  author =       "Cyril Gavoille.",
  title =        "On the Dilation of Interval Routing",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "3",
  pages =        "243--249",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Sep 18 06:16:26 MDT 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/430243.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_03/pdf/430243.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Glaser:2000:PNP,
  author =       "Hugh Glaser and Pieter H. Hartel and Paul W.
                 Garratt.",
  title =        "Programming by Numbers: {A} Programming Method for
                 Novices",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "4",
  pages =        "252--265",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 14 07:02:08 MST 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/430252.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/pdf/430252.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Zeadally:2000:IPQ,
  author =       "S. Zeadally.",
  title =        "Implementation and Performance of {QoS}-aware {Java}
                 Applications over {ATM} Networks",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "4",
  pages =        "266--273",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 14 07:02:08 MST 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/430266.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/pdf/430266.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Borghuis:2000:CLS,
  author =       "Tijn Borghuis and Loe Feijs.",
  title =        "A Constructive Logic for Services and Information Flow
                 in Computer Networks",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "4",
  pages =        "274--289",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 14 07:02:08 MST 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/430274.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/pdf/430274.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Xiang:2000:GRA,
  author =       "Limin Xiang and Kazuo Ushijima and Selim G. Akl.",
  title =        "Generating Regular $k$-ary Trees Efficiently",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "4",
  pages =        "290--300",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 14 07:02:08 MST 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/430290.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/pdf/430290.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Tousidou:2000:IMS,
  author =       "Eleni Tousidou and Alex Nanopoulos and Yannis
                 Manolopoulos.",
  title =        "Improved Methods for Signature-Tree Construction",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "4",
  pages =        "301--314",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 14 07:02:08 MST 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/430301.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/pdf/430301.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Chung:2000:NFA,
  author =       "Kuo-Liang Chung and Hsiu-Niang Chen.",
  title =        "A Neighbor-finding Algorithm for Bincode-based Images
                 on Reconfigurable Meshes",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "4",
  pages =        "315--324",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 14 07:02:08 MST 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/430315.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/pdf/430315.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Tzouramanis:2000:OLQ,
  author =       "Theodoros Tzouramanis and Michael Vassilakopoulos and
                 Yannis Manolopoulos.",
  title =        "Overlapping Linear Quadtrees and Spatio-Temporal Query
                 Processing",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "4",
  pages =        "325--324",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 14 07:02:08 MST 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/430325.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_04/pdf/430325.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Bhowmick:2000:DVO,
  author =       "Sourav S. Bhowmick and Sanjay Madria and Wee Keong Ng
                 and Ee-Peng Lim",
  title =        "Data Visualization Operators for {WHOWEDA}",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "5",
  pages =        "364--385",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Sat Dec 23 14:12:23 MST 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/430364.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/pdf/430364.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Cheng:2000:DRB,
  author =       "Sheng-Tzong Cheng and Chia-Mei Chen",
  title =        "Dynamic Round-based Resource Management for On-demand
                 Multimedia Servers",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "5",
  pages =        "386--395",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Sat Dec 23 14:12:23 MST 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/430386.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/pdf/430386.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Liu:2000:CVD,
  author =       "Duen-Ren Liu and Chen-Hsien Lin and Jing-Jang Hwang",
  title =        "Classifying Video Documents by Hierarchical Structure
                 of Video Contents",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "5",
  pages =        "396--410",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Sat Dec 23 14:12:23 MST 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/430396.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/pdf/430396.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Sarbazi-Azad:2000:MLH,
  author =       "H. Sarbazi-Azad and M. Ould-Khaoua and L. M.
                 Mackenzie",
  title =        "Message Latency in Hypercubes in the Presence of
                 Matrix-Transpose Traffic",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "5",
  pages =        "411--419",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Sat Dec 23 14:12:23 MST 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/430411.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/pdf/430411.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Manousaka:2000:FAT,
  author =       "Antigoni Manousaka and Yannis Manolopoulos",
  title =        "Fringe Analysis of $2$-$3$ Trees with Lazy Parent
                 Split",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "5",
  pages =        "420--429",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Sat Dec 23 14:12:23 MST 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/430420.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/pdf/430420.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Susilo:2000:NEF,
  author =       "Willy Susilo and Rei Safavi-Naini and Marc Gysin and
                 Jennifer Seberry",
  title =        "A New and Efficient Fail-stop Signature Scheme",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "5",
  pages =        "430--437",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Sat Dec 23 14:12:23 MST 2000",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/430430.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_05/pdf/430430.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Noble:2000:AR,
  author =       "James Noble",
  title =        "Arguments and Results",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "6",
  pages =        "439--450",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Mar 6 08:20:58 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/430439.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/pdf/430439.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Lano:2000:SCF,
  author =       "K. Lano and R. France and J.-M. Bruel",
  title =        "A Semantic Comparison of Fusion and Syntropy",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "6",
  pages =        "451--468",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Mar 6 08:20:58 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/430451.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/pdf/430451.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Laufer:2000:SSC,
  author =       "Konstantin L{\"a}ufer and Gerald Baumgartner and
                 Vincent F. Russo",
  title =        "Safe Structural Conformance for {Java}",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "6",
  pages =        "469--481",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Mar 6 08:20:58 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/430469.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/pdf/430469.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Younessi:2000:AAC,
  author =       "Houman Younessi",
  title =        "An Algorithm for Automatic Construction of Class
                 Diagrams",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "6",
  pages =        "482--490",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Mar 6 08:20:58 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/430482.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/pdf/430482.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Alagic:2000:TOO,
  author =       "Suad Alagi{\'c}.",
  title =        "Temporal Object-Oriented Programming",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "6",
  pages =        "491--511",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Mar 6 08:20:58 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/430491.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/pdf/430491.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Cho:2000:IIS,
  author =       "Eun-Sun Cho and Hyoung-Joo Kim",
  title =        "Interface\slash implementation Separation Mechanism
                 for Integrating Object-oriented Management Systems and
                 General-purpose Programming Languages",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "6",
  pages =        "512--523",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Mar 6 08:20:58 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/430512.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/pdf/430512.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Ahn:2000:DSA,
  author =       "Jung-Ho Ahn and Hyoung-Joo Kim",
  title =        "Dynamic {SEOF}: An Adaptable Object Prefetch Policy
                 for Object-oriented Database Systems",
  journal =      j-COMP-J,
  volume =       "43",
  number =       "6",
  pages =        "524--537",
  month =        "????",
  year =         "2000",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Mar 6 08:20:58 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/430524.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_43/Issue_06/pdf/430524.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Luck:2001:CFA,
  author =       "Michael Luck and Mark d'Inverno",
  title =        "A Conceptual Framework for Agent Definition and
                 Development",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "1",
  pages =        "1--20",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Jun 7 05:41:47 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/440001.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/pdf/440001.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Anastasi:2001:EVM,
  author =       "Giuseppe Anastasi and Alberto Bartoli and Nicoletta De
                 Francesco and Antonella Santone",
  title =        "Efficient Verification of a Multicast Protocol for
                 Mobile Computing",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "1",
  pages =        "21--30",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Jun 7 05:41:47 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/440021.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/pdf/440021.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Zhang:2001:DWC,
  author =       "Sijing Zhang and E. Stewart Lee and Alan Burns",
  title =        "Determining the Worst-case Synchronous Message
                 Response Time in {FDDI} Networks",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "1",
  pages =        "31--41",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Jun 7 05:41:47 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/440031.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/pdf/440031.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Puustjarvi:2001:WCC,
  author =       "Juha Puustj{\"a}rvi",
  title =        "Workflow Concurrency Control",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "1",
  pages =        "42--53",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Jun 7 05:41:47 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/440042.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/pdf/440042.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Crampton:2001:LACa,
  author =       "Jason Crampton and George Loizou and Greg O'Shea",
  title =        "A Logic of Access Control",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "1",
  pages =        "54--66",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Jun 7 05:41:47 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/440054.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/pdf/440054.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Donofrio:2001:FM,
  author =       "Nick Donofrio",
  title =        "{Turing Memorial Lecture}",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "2",
  pages =        "67--74",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:40 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/440067.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/freepdf/440067.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Pitoura:2001:DLD,
  author =       "Evaggelia Pitoura and Ioannis Fudos",
  title =        "Distributed Location Databases for Tracking Highly
                 Mobile Objects",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "2",
  pages =        "75--91",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:40 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/440075.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/pdf/440075.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Baldoni:2001:CCT,
  author =       "Roberto Baldoni and Francesco Quaglia and Michel
                 Raynal",
  title =        "Consistent Checkpointing for Transaction Systems",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "2",
  pages =        "92--100",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:40 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/440092.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/pdf/440092.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Lau:2001:AMP,
  author =       "F. C. M. Lau and P. K. W. Cheng and S. S. H. Tse",
  title =        "An Algorithm for the $2$-Median Problem on
                 Two-Dimensional Meshes",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "2",
  pages =        "101--108",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:40 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/440101.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/pdf/440101.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Francesco:2001:FAM,
  author =       "N. De Francesco and A. Fantechi and S. Gnesi and P.
                 Inverardi",
  title =        "Finite Approximations for Model Checking
                 Non-finite-state Processes",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "2",
  pages =        "109--123",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:40 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/440109.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/pdf/440109.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Chao:2001:LSC,
  author =       "Daniel Y. Chao and Jose A. Nicdao",
  title =        "Liveness for Synchronized Choice {Petri} Nets",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "2",
  pages =        "124--136",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:40 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/440124.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/pdf/440124.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Crampton:2001:LACb,
  author =       "Jason Crampton and George Loizou and Greg O'Shea",
  title =        "A Logic of Access Control",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "2",
  pages =        "137--149",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:40 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/440137.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_02/pdf/440137.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Ware:2001:IDP,
  author =       "Willis H. Ware",
  title =        "Introduction to {Davies}' paper",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "3",
  pages =        "151--151",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:41 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/440151.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/pdf/440151.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Davies:2001:HSB,
  author =       "D. W. Davies",
  title =        "An Historical Study of the Beginnings of Packet
                 Switching",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "3",
  pages =        "152--162",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:41 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/pdf/440152.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Politopoulos:2001:PCS,
  author =       "Kostas Politopoulos and George F. Georgakopoulos and
                 Panagiotis Tsanakas",
  title =        "Precedence Constrained Scheduling: {A} Case in {P}",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "3",
  pages =        "163--173",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:41 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/440163.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/pdf/440163.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Stewart:2001:BSC,
  author =       "A. Stewart and M. Clint",
  title =        "{BSP}-style Computation: a Semantic Investigation",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "3",
  pages =        "174--185",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:41 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/440174.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/pdf/440174.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Zhang:2001:CSG,
  author =       "Da-Qian Zhang and Kang Zhang and Jiannong Cao",
  title =        "A Context-sensitive Graph Grammar Formalism for the
                 Specification of Visual Languages",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "3",
  pages =        "186--200",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:41 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/440186.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/pdf/440186.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Lee:2001:UPC,
  author =       "SangKeun Lee and Chong-Sun Hwang",
  title =        "Unified Protocols of Concurrency Control and Recovery
                 in Distributed Object-based Databases",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "3",
  pages =        "201--213",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:41 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/440201.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/pdf/440201.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Lai:2001:PED,
  author =       "C.-H. Lai and C. S. Ierotheou and C. J. Palansuriya
                 and K. A. Pericleous",
  title =        "Performance Evaluation of a Distributed Algorithm for
                 an Inverse Heat Conduction Problem",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "3",
  pages =        "214--220",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Jul 9 09:29:41 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/440214.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_03/pdf/440214.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Kaporis:2001:FM,
  author =       "Alexis C. Kaporis and Lefteris M. Kirousis and
                 Evangelos Kranakis and Danny Krizanc and Yannis C.
                 Stamatiou and Elias C. Stavropoulos",
  title =        "Locating Information with Uncertainty in Fully
                 Interconnected Networks with Applications to {World
                 Wide Web} Information Retrieval",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "4",
  pages =        "221--229",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 25 06:35:18 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/440221.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/pdf/440221.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Bowman:2001:AMS,
  author =       "H. Bowman and J. W. Bryans and J. Derrick",
  title =        "Analysis of a Multimedia Stream using Stochastic
                 Process Algebra",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "4",
  pages =        "230--245",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 25 06:35:18 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/440230.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/pdf/440230.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Verbeek:2001:DWP,
  author =       "H. M. W. Verbeek and T. Basten and W. M. P. van der
                 Aalst",
  title =        "Diagnosing Workflow Processes using {Woflan}",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "4",
  pages =        "246--279",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 25 06:35:18 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/440246.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/pdf/440246.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Wang:2001:SFB,
  author =       "Yuke Wang and Carl McCrosky and Xiaoyu Song",
  title =        "Single-faced {Boolean} Functions and their
                 Minimization",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "4",
  pages =        "280--291",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 25 06:35:18 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/440280.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/pdf/440280.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Xiang:2001:TAC,
  author =       "Limin Xiang and Kazuo Ushijima",
  title =        "On {$O(1)$} Time Algorithms for Combinatorial
                 Generation",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "4",
  pages =        "292--302",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 25 06:35:18 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/440292.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/pdf/440292.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Amor:2001:DPF,
  author =       "M. Amor and F. Arg{\"u}ello and J. L{\'o}pez and O.
                 Plata and E. L. Zapata",
  title =        "A Data-Parallel Formulation for Divide and Conquer
                 Algorithms",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "4",
  pages =        "303--320",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 25 06:35:18 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/440303.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/pdf/440303.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Makinen:2001:CFM,
  author =       "Erkki M{\"a}kinen",
  title =        "Comment on {`A Framework for Modelling Trojans and
                 Computer Virus Infection'}",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "4",
  pages =        "321--323",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 25 06:35:18 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/",
  note =         "See
                 \cite{Thimbleby:1998:FMT,Thimbleby:2001:RCS,Cohen:2001:RCS}.",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/440321.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/pdf/440321.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Thimbleby:2001:RCS,
  author =       "H. Thimbleby and S. O. Anderson and P. A. Cairns",
  title =        "Reply to {``Comment on `A Framework for Modelling
                 Trojans and Computer Virus Infection' by E.
                 M{\"a}kinen''}",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "4",
  pages =        "324--325",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 25 06:35:18 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/",
  note =         "See
                 \cite{Thimbleby:1998:FMT,Makinen:2001:CFM,Cohen:2001:RCS}.",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/440324.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/pdf/440324.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Cohen:2001:RCS,
  author =       "Fred Cohen",
  title =        "Reply to {``Comment on `A Framework for Modelling
                 Trojans and Computer Virus Infection' by E.
                 M{\"a}kinen''}",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "4",
  pages =        "326--327",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 25 06:35:18 MDT 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/",
  note =         "See
                 \cite{Thimbleby:1998:FMT,Makinen:2001:CFM,Thimbleby:2001:RCS}.",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/440326.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_04/pdf/440326.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Jia:2001:FM,
  author =       "Xiaohua Jia and Deying Li and Xiaodong Hu and DingZhu
                 Du",
  title =        "Optimal Placement of {Web} Proxies for Replicated
                 {Web} Servers in the {Internet}",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "5",
  pages =        "329--339",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Nov 19 07:41:49 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/440329.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/pdf/440329.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Baggio:2001:ETM,
  author =       "Aline Baggio and Gerco Ballintijn and Maarten van
                 Steen and Andrew S. Tanenbaum",
  title =        "Efficient Tracking of Mobile Objects in {Globe}",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "5",
  pages =        "340--353",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Nov 19 07:41:49 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/440340.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/pdf/440340.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Wang:2001:BTL,
  author =       "San-Yuan Wang and Yu-Chee Tseng and Ching-Sung Shiu
                 and Jang-Ping Sheu",
  title =        "Balancing Traffic Load for Multi-Node Multicast in a
                 Wormhole {$2$-D} Torus\slash Mesh",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "5",
  pages =        "354--367",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Nov 19 07:41:49 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/440354.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/pdf/440354.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Al-Sadi:2001:PBF,
  author =       "J. Al-Sadi and K. Day and M. Ould-Khaoua",
  title =        "Probability-based Fault-tolerant Routing in
                 Hypercubes",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "5",
  pages =        "368--373",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Nov 19 07:41:49 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/440368.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/pdf/440368.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Chen:2001:LCC,
  author =       "Guihai Chen and Francis C. M. Lau",
  title =        "Layout of the Cube-connected Cycles without Long
                 Wires",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "5",
  pages =        "374--383",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Nov 19 07:41:49 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/440374.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/pdf/440374.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Xiao:2001:CNU,
  author =       "Jitian Xiao and Yanchun Zhang and Xiaohua Jia",
  title =        "Clustering Non-uniform-sized Spatial Objects to Reduce
                 {I/O} Cost for Spatial-join Processing",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "5",
  pages =        "384--397",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Nov 19 07:41:49 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/440384.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/pdf/440384.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Nguyen:2001:CBT,
  author =       "Ngoc Thanh Nguyen",
  title =        "Consensus-based Timestamps in Distributed Temporal
                 Databases",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "5",
  pages =        "398--409",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Nov 19 07:41:49 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/440398.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/pdf/440398.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Losada:2001:LMI,
  author =       "David E. Losada and Alvaro Barreiro",
  title =        "A Logical Model for Information Retrieval based on
                 Propositional Logic and Belief Revision",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "5",
  pages =        "410--424",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Nov 19 07:41:49 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/440410.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/pdf/440410.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Luk:2001:CMD,
  author =       "Robert W. P. Luk",
  title =        "Compact Morphic Directed Acyclic Word Graphs",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "5",
  pages =        "425--434",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Nov 19 07:41:49 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/440425.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/pdf/440425.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Kone:2001:LAT,
  author =       "Ousmane Kon{\'e}.",
  title =        "A Local Approach to the Testing of Real-time Systems",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "5",
  pages =        "435--447",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Nov 19 07:41:49 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/440435.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/pdf/440435.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Canal:2001:ECI,
  author =       "C. Canal and L. Fuentes and E. Pimentel and J. M.
                 Troya and A. Vallecillo",
  title =        "Extending {CORBA} Interfaces with Protocols",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "5",
  pages =        "448--462",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Nov 19 07:41:49 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/440448.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/pdf/440448.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Horng:2001:ESP,
  author =       "Gwoboa Horng",
  title =        "An Efficient and Secure Protocol for Multi-party Key
                 Establishment",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "5",
  pages =        "463--470",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Mon Nov 19 07:41:49 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/440463.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_05/pdf/440463.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Chen:2001:SIE,
  author =       "Ing-Ray Chen",
  title =        "Special Issue Editorial. High Assurance Systems",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "6",
  pages =        "471--472",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Nov 28 07:38:53 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/440471.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/pdf/440471.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Dohi:2001:ESR,
  author =       "Tadashi Dohi and Katerina Go{\v{s}}eva-Popstojanova
                 and Kishor Trivedi",
  title =        "Estimating Software Rejuvenation Schedules in
                 High-Assurance Systems",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "6",
  pages =        "473--485",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Nov 28 07:38:53 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/440473.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/pdf/440473.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Goddard:2001:MLB,
  author =       "Steve Goddard and Kevin Jeffay",
  title =        "Managing Latency and Buffer Requirements in Processing
                 Graph Chains",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "6",
  pages =        "486--503",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Nov 28 07:38:53 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/440486.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/pdf/440486.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Tsai:2001:MVH,
  author =       "Jeffrey J. P. Tsai and Eric Y. T. Juan",
  title =        "Modeling and Verification of High-Assurance Properties
                 of Safety-Critical Systems",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "6",
  pages =        "504--530",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Nov 28 07:38:53 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/440504.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/pdf/440504.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Bate:2001:UMP,
  author =       "Iain Bate and Philippa Conmy and Tim Kelly and John
                 McDermid",
  title =        "Use of Modern Processors in Safety-Critical
                 Applications",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "6",
  pages =        "531--543",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Nov 28 07:38:53 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/440531.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/pdf/440531.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Grandoni:2001:EFT,
  author =       "F. Grandoni and S. Chiaradonna and F. Di Giandomenico
                 and A. Bondavalli",
  title =        "Evaluation of Fault-Tolerant Multiprocessor Systems
                 for High Assurance Applications",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "6",
  pages =        "544--556",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Nov 28 07:38:53 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/440544.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/pdf/440544.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Xu:2001:SQP,
  author =       "Zhiwei Xu and Taghi M. Khoshgoftaar",
  title =        "Software Quality Prediction for High-Assurance Network
                 Telecommunications Systems",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "6",
  pages =        "557--568",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Nov 28 07:38:53 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/440557.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/pdf/440557.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Garcia:2001:UML,
  author =       "Alessandro F. Garcia and Delano M. Beder and
                 Cec{\'\i}lia M. F. Rubira",
  title =        "A Unified Meta-Level Software Architecture for
                 Sequential and Concurrent Exception Handling",
  journal =      j-COMP-J,
  volume =       "44",
  number =       "6",
  pages =        "569--587",
  month =        "????",
  year =         "2001",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Nov 28 07:38:53 MST 2001",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/440569.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/pdf/440569.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Moller:2002:EFM,
  author =       "Faron G. Moller",
  title =        "Editorial: Formal Methods in Computation",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "1",
  pages =        "1--1",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jan 16 08:49:27 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450001.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450001.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Barringer:2002:RDS,
  author =       "Howard Barringer and Donal Fellows and Graham Gough
                 and Alan Williams",
  title =        "{Rainbow}: Development, Simulation and Analysis Tools
                 for Asynchronous Micropipeline Hardware Design",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "1",
  pages =        "2--11",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jan 16 08:49:27 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450002.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450002.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Edwards:2002:BAH,
  author =       "Doug Edwards and Andrew Bardsley",
  title =        "{Balsa}: An Asynchronous Hardware Synthesis Language",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "1",
  pages =        "12--18",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jan 16 08:49:27 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450012.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450012.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Furber:2002:VAM,
  author =       "Steve Furber",
  title =        "Validating the {AMULET} Microprocessors",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "1",
  pages =        "19--26",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jan 16 08:49:27 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450019.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450019.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Gordon:2002:RET,
  author =       "Michael J. C. Gordon",
  title =        "Relating Event and Trace Semantics of Hardware
                 Description Languages",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "1",
  pages =        "27--36",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jan 16 08:49:27 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450027.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450027.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Norrish:2002:THD,
  author =       "Michael Norrish and Konrad Slind",
  title =        "A Thread of {HOL} Development",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "1",
  pages =        "37--45",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jan 16 08:49:27 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450037.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450037.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Older:2002:FMA,
  author =       "Susan Older and Shiu-Kai Chin",
  title =        "Formal Methods for Assuring Security of Protocols",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "1",
  pages =        "46--54",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jan 16 08:49:27 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450046.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450046.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Calder:2002:MLF,
  author =       "M. Calder and S. Maharaj and C. Shankland",
  title =        "A Modal Logic for Full {LOTOS} based on Symbolic
                 Transition Systems",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "1",
  pages =        "55--61",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jan 16 08:49:27 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450055.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450055.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Tofts:2002:TMP,
  author =       "C. Tofts",
  title =        "Traffic Modelling and Probabilistic Process
                 Abstraction",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "1",
  pages =        "62--67",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jan 16 08:49:27 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450062.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450062.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Tucker:2002:BR,
  author =       "J. V. Tucker and Sergei Vorobyov and Chris Tofts",
  title =        "Book Reviews",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "1",
  pages =        "68--71",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jan 16 08:49:27 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450068.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450068.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Huang:2002:DIP,
  author =       "Chung-Ming Huang and Yu-Chang Chao",
  title =        "Differentiated Information Presentations for
                 Heterogeneous {I/O} Devices using a Single Mark-up
                 Language Approach",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "1",
  pages =        "72--87",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jan 16 08:49:27 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450072.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450072.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Shatnawi:2002:OSD,
  author =       "Ali Shatnawi and M. O. Ahmad and M. N. S. Swamy",
  title =        "Optimal Scheduling of Digital Signal Processing
                 Data-flow Graphs using Shortest-path Algorithms",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "1",
  pages =        "88--100",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jan 16 08:49:27 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450088.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450088.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Wu:2002:MCM,
  author =       "Shih-Lin Wu and Yu-Chee Tseng and Chih-Yu Lin and
                 Jang-Ping Sheu",
  title =        "A Multi-channel {MAC} Protocol with Power Control for
                 Multi-hop Mobile Ad Hoc Networks",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "1",
  pages =        "101--110",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jan 16 08:49:27 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450101.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450101.pdf",
  acknowledgement = ack-nhfb,
}

@Article{He:2002:FDA,
  author =       "Xudong He and Yi Deng",
  title =        "A Framework for Developing and Analyzing Software
                 Architecture Specifications in {SAM}",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "1",
  pages =        "111--128",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jan 16 08:49:27 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450111.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/pdf/450111.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Multiprocessors:2002:FM,
  author =       "Syed Masud Mahmud and L. Tissa Samaratunga and Shilpa
                 Kommidi",
  title =        "Fault-Tolerant Hierarchical Networks for Shared Memory
                 Multiprocessors and their Bandwidth Analysis",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "147--161",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450147.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450147.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Chen:2002:CDF,
  author =       "Xiao Jun Chen and Hasan Ural",
  title =        "Construction of Deadlock-free Designs of Communication
                 Protocols from Observations",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "162--173",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450162.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450162.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Pan:2002:CTA,
  author =       "Tien-Tai Pan and Shun-Shii Lin",
  title =        "Constant-time Algorithms for Minimum Spanning Tree and
                 Related Problems on Processor Array with Reconfigurable
                 Bus Systems",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "174--186",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450174.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450174.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Kamareddine:2002:PTS,
  author =       "Fairouz Kamareddine and Alejandro R{\'\i}os",
  title =        "Pure Type Systems with {de Bruijn} Indices",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "187--201",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450187.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450187.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Parimala:2002:EOS,
  author =       "N. Parimala",
  title =        "Explicit Operation Specification for Component
                 Databases",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "202--212",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450202.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450202.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Gibbons:2002:EAS,
  author =       "Alan Gibbons and Ida Pu and Muthu Muthukrishnan",
  title =        "Exact Analyses of a Simple Heuristic Employed in Array
                 Compression",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "213--220",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450213.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450213.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Stakhov:2002:BTP,
  author =       "Alexey Stakhov",
  title =        "{Brousentsov}'s Ternary Principle, {Bergman}'s Number
                 System and Ternary Mirror-symmetrical Arithmetic",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "221--236",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450221.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450221.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Balakirsky:2002:NCA,
  author =       "Vladimir B. Balakirsky",
  title =        "A New Coding Algorithm for Trees",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "237--242",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450237.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450237.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Balakirsky:2002:BCA,
  author =       "Vladimir B. Balakirsky",
  title =        "Block Codes for Asynchronous Data Transmission
                 Designed from Binary Trees",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "243--248",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450243.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450243.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Conrad:2002:REW,
  author =       "S. Conrad and W. Hasselbring and A. James and D.
                 Kambur and R.-D. Kutsche and P. Thiran",
  title =        "Report on the {EFIS 2001 Workshop}",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "249--251",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450249.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450249.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Amatya:2002:BRa,
  author =       "Ananda Amatya",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "252--252",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450252.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450249.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Smith:2002:BR,
  author =       "Edward Smith",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "252--253",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450252a.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450249.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Locatelli:2002:BR,
  author =       "Marco Locatelli",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "253--253",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450253.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450249.pdf",
  acknowledgement = ack-nhfb,
}

@Article{OKeefe:2002:BR,
  author =       "R. A. O'Keefe",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "253--254",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450253a.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450249.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Chan:2002:BR,
  author =       "Wai-hung Chan",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "254--255",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450254.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450254.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Kirchner:2002:BR,
  author =       "Claude Kirchner",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "255--256",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450255.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450255.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Pomerance:2002:BR,
  author =       "Carl Pomerance",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "2",
  pages =        "256--256",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Thu Apr 4 07:33:05 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450256.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/pdf/450255.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Murtagh:2002:EST,
  author =       "Fionn Murtagh",
  title =        "Editorial: Statistics and Trends",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "259--259",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450259.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Huszerl:2002:QAU,
  author =       "G{\'a}bor Huszerl and Istv{\'a}n Majzik and Andr{\'a}s
                 Pataricza and Konstantinos Kosmidis and Mario Dal Cin",
  title =        "Quantitative Analysis of {UML} Statechart Models of
                 Dependable Systems",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "260--277",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450260.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450260.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Zhenglin:2002:AMP,
  author =       "Liu Zhenglin and Xu Chongyang",
  title =        "An Analytical Model for the Performance of the {DOCSIS
                 CATV} Network",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "278--284",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450278.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450278.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Farr:2002:CSM,
  author =       "G. E. Farr and C. S. Wallace",
  title =        "The Complexity of Strict Minimum Message Length
                 Inference",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "285--292",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450285.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450285.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Hanaoka:2002:HNI,
  author =       "Goichiro Hanaoka and Tsuyoshi Nishioka and Yuliang
                 Zheng and Hideki Imai",
  title =        "A Hierarchical Non-interactive Key-Sharing Scheme with
                 Low Memory Size and High Resistance against Collusion
                 Attacks",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "293--303",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450293.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450293.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Chen:2002:CCA,
  author =       "Ing-Ray Chen and Baoshan Gu",
  title =        "A Comparative Cost Analysis of Degradable Location
                 Management Algorithms in Wireless Networks",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "304--319",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450304.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450304.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Ungerer:2002:MP,
  author =       "Theo Ungerer and Borut Robi{\v{c}} and Jurij
                 {\v{S}}ilc",
  title =        "Multithreaded Processors",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "320--348",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450320.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450320.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Wu:2002:FTA,
  author =       "Jie Wu",
  title =        "A Fault-tolerant Adaptive and Minimal Routing Scheme
                 in $n$-{D} Meshes",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "349--363",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450349.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450349.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Korsh:2002:LGT,
  author =       "James F. Korsh and Paul LaFollette",
  title =        "Loopless Generation of Trees with Specified Degrees",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "364--372",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450364.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450364.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Iwata:2002:BR,
  author =       "Hiroo Iwata",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "373--373",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450373.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450364.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Munro:2002:BR,
  author =       "Barry Munro",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "373--373",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450373a.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450364.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Limb:2002:BR,
  author =       "Rowan Limb",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "373--374",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450373b.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450364.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Berry:2002:BR,
  author =       "Simon Berry",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "374--374",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450374.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450364.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Menzies:2002:BR,
  author =       "David Menzies",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "374--375",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450374a.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450364.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Aggarwal:2002:BR,
  author =       "Arvind Aggarwal",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "375--375",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450375.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450364.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Napoli:2002:BR,
  author =       "Margherita Napoli",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "375--376",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450375a.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450364.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Archenhold:2002:BR,
  author =       "Geoffrey Archenhold",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "376--377",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450376.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450376.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Ambler:2002:BR,
  author =       "Scott W. Ambler",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "3",
  pages =        "377--377",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Fri May 10 10:12:07 MDT 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450377.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/pdf/450377.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:2002:CRa,
  author =       "Anonymous",
  title =        "Capsule Reviews",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "379--380",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450379.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450379.pdf",
  acknowledgement = ack-nhfb,
}

@Article{El-Khatib:2002:UDA,
  author =       "Hazem T. El-Khatib and M. Howard Williams and David H.
                 Marwick and Lachlan M. Mackinnon",
  title =        "Using a Distributed Approach to Retrieve and Integrate
                 Information from Heterogeneous Distributed Databases",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "381--394",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450381.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450381.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Kim:2002:PAT,
  author =       "Daeyoung Kim and Yann-Hang Lee",
  title =        "Periodic and Aperiodic Task Scheduling in Strongly
                 Partitioned Integrated Real-time Systems",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "395--409",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450395.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450395.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Lee:2002:CCU,
  author =       "Victor C. S. Lee and Kwok-Wa Lam and Sang H. Son",
  title =        "Concurrency Control Using Timestamp Ordering in
                 Broadcast Environments",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "410--422",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450410.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450410.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Roberts:2002:LBO,
  author =       "Alan Roberts and Antonios Symvonis and David R. Wood",
  title =        "Lower Bounds for One-to-one Packet Routing on Trees
                 using Hot-Potato Algorithms",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "423--435",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450423.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450423.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Jun:2002:EPT,
  author =       "Yang Jun and Greg Michaelson and Phil Trinder",
  title =        "Explaining Polymorphic Types",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "436--452",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450436.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450436.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Papadopoulos:2002:ETL,
  author =       "Constantinos Papadopoulos",
  title =        "An Extended Temporal Logic for {CSCW}",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "453--472",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450453.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450453.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Fornaro:2002:BR,
  author =       "Claudio Fornaro",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "473--473",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450473a.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450473a.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Moth:2002:BR,
  author =       "Daniel D. G. Moth",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "473--474",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450473b.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450473b.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Outram:2002:BR,
  author =       "Matthew Outram",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "474--474",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450474a.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450474a.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Sanna:2002:BR,
  author =       "Andrea Sanna",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "474--474",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450474b.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450474b.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Grosse:2002:BR,
  author =       "Andr{\'e} Grosse",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "475--475",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450475a.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450475a.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Montuschi:2002:BRa,
  author =       "Paolo Montuschi",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "475--475",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450475b.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450475b.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Bonifati:2002:BR,
  author =       "Angela Bonifati",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "476--476",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450476a.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450476a.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Decandia:2002:BR,
  author =       "Giuseppe Decandia",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "476--476",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450476b.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450476b.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Tartaro:2002:BR,
  author =       "Ing. Felice Tartaro",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "476--477",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450476c.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450476c.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Amatya:2002:BRb,
  author =       "Ananda Amatya",
  title =        "Book Review",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "4",
  pages =        "477--477",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/450477.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_04/pdf/450477.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:2002:CRb,
  author =       "Anonymous",
  title =        "Capsule Reviews",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "5",
  pages =        "479--480",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_05/450479.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_05/pdf/450479.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Skyt:2002:PVM,
  author =       "Janne Skyt and Christian S. Jensen",
  title =        "Persistent Views --- {A} Mechanism for Managing Ageing
                 Data",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "5",
  pages =        "481--493",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_05/450481.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_05/pdf/450481.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Oommen:2002:EHL,
  author =       "B. John Oommen and Luis G. Rueda",
  title =        "The Efficiency of Histogram-like Techniques for
                 Database Query Optimization",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "5",
  pages =        "494--510",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_05/450494.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_05/pdf/450494.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Uren:2002:HWC,
  author =       "Victoria S. Uren and Thomas R. Addis",
  title =        "How Weak Categorizers Based Upon Different Principles
                 Strengthen Performance",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "5",
  pages =        "511--524",
  month =        "????",
  year =         "2002",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Tue Nov 5 06:59:34 MST 2002",
  bibsource =    "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_05/",
  URL =          "http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_05/450511.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_05/pdf/450511.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Kozatchok:2002:UTM,
  author =       "Irina Kozatchok and Samuel Pierre",
  title =        "User Tracking and Mobility Management Algorithm for
                 Wireless Networks",
  journal =      j-COMP-J,
  volume =       "45",
  number =       "5",
  pages =        "525--539",
  month =        "????",
  year =         "2002",
  CODEN =