%%% -*-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