The Computer Journal, Volume 45, 2002

Volume 45, Number 1, 2002

Faron Moller:
Formal Methods in Computation. 1
Electronic Edition (link) BibTeX
Howard Barringer, Donal Fellows, Graham Gough, Alan Williams:
Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design. 2-11
Electronic Edition (link) BibTeX
Doug Edwards, Andrew Bardsley:
Balsa: An Asynchronous Hardware Synthesis Language. 12-18
Electronic Edition (link) BibTeX
Stephen B. Furber:
Validating the AMULET Microprocessors. 19-26
Electronic Edition (link) BibTeX
Michael J. C. Gordon:
Relating Event and Trace Semantics of Hardware Description Languages. 27-36
Electronic Edition (link) BibTeX
Michael Norrish, Konrad Slind:
A Thread of HOL Development. 37-45
Electronic Edition (link) BibTeX
Susan Older, Shiu-Kai Chin:
Formal Methods for Assuring Security of Protocols. 46-54
Electronic Edition (link) BibTeX
Muffy Calder, Savi Maharaj, Carron Shankland:
A Modal Logic for Full LOTOS based on Symbolic Transition Systems. 55-61
Electronic Edition (link) BibTeX
Chris M. N. Tofts:
Traffic Modelling and Probabilistic Process Abstraction. 62-67
Electronic Edition (link) BibTeX
Chung-Ming Huang, Yu-Chang Chao:
Differentiated Information Presentations for Heterogeneous I/O Devices using a Single Mark-up Language Approach. 72-87
Electronic Edition (link) BibTeX
Ali Shatnawi, M. Omair Ahmad, M. N. S. Swamy:
Optimal Scheduling of Digital Signal Processing Data-flow Graphs using Shortest-path Algorithms. 88-100
Electronic Edition (link) BibTeX
Shih-Lin Wu, Yu-Chee Tseng, Chih-Yu Lin, Jang-Ping Sheu:
A Multi-channel MAC Protocol with Power Control for Multi-hop Mobile Ad Hoc Networks. 101-110
Electronic Edition (link) BibTeX
Xudong He, Yi Deng:
A Framework for Developing and Analyzing Software Architecture Specifications in SAM. 111-128
Electronic Edition (link) BibTeX

Volume 45, Number 2, 2002

Xiao Jun Chen, Hasan Ural:
Construction of Deadlock-free Designs of Communication Protocols from Observation. 162-173
Electronic Edition (link) BibTeX
Tien-Tai Pan, Shun-Shii Lin:
Constant-time Algorithms for Minimum Spanning Tree and Related Problems on Processor Array with Reconfigurable Bus Systems. 174-186
Electronic Edition (link) BibTeX
Fairouz Kamareddine, Alejandro Ríos:
Pure Type Systems with de Bruijn Indices. 187-201
Electronic Edition (link) BibTeX
N. Parimala:
Explicit Operation Specification for Component Databases. 202-212
Electronic Edition (link) BibTeX
Alan Gibbons, Ida Pu, Muthu Muthukrishnan:
Exact Analyses of a Simple Heuristic Employed in Array Compression. 213-220
Electronic Edition (link) BibTeX
Alexey Stakhov:
Brousentsov's Ternary Principle, Bergman's Number System and Ternary Mirror-symmetrical Arithmetic. 221-236
Electronic Edition (link) BibTeX
Vladimir B. Balakirsky:
A New Coding Algorithm for TreesVladimir B. Balakirsky. 237-242
Electronic Edition (link) BibTeX
Vladimir B. Balakirsky:
Block Codes for Asynchronous Data Transmission Designed from Binary Trees. 243-248
Electronic Edition (link) BibTeX
Stefan Conrad, Wilhelm Hasselbring, Anne E. James, Dalen Kambur, Ralf-Detlef Kutsche, Philippe Thiran:
Report on the EFIS 2001 Workshop. 249-251
Electronic Edition (link) BibTeX

Volume 45, Number 3, 2002

Fionn Murtagh:
Statistics and Trends. 259-259
Electronic Edition (link) BibTeX
Gábor Huszerl, István Majzik, András Pataricza, Konstantinos Kosmidis, Mario Dal Cin:
Quantitative Analysis of UML Statechart Models of Dependable Systems. 260-277
Electronic Edition (link) BibTeX
Zhenglin Liu, Chongyang Xu:
An Analytical Model for the Performance of the DOCSIS CATV Network. 278-284
Electronic Edition (link) BibTeX
G. E. Farr, Chris S. Wallace:
The Complexity of Strict Minimum Message Length Inference. 285-292
Electronic Edition (link) BibTeX
Goichiro Hanaoka, Tsuyoshi Nishioka, Yuliang Zheng, Hideki Imai:
A Hierarchical Non-interactive Key-Sharing Scheme with Low Memory Size and High Resistance against Collusion Attacks. 293-303
Electronic Edition (link) BibTeX
Ing-Ray Chen, Baoshan Gu:
A Comparative Cost Analysis of Degradable Location Management Algorithms in Wireless Networks. 304-319
Electronic Edition (link) BibTeX
Theo Ungerer, Borut Robic, Jurij Silc:
Multithreaded Processors. 320-348
Electronic Edition (link) BibTeX
Jie Wu:
A Fault-tolerant Adaptive and Minimal Routing Scheme in $n$-D Meshes. 349-363
Electronic Edition (link) BibTeX
James F. Korsh, Paul LaFollette:
Loopless Generation of Trees with Specified Degrees. 364-372
Electronic Edition (link) BibTeX

Volume 45, Number 4, 2002

Hazem T. El-Khatib, M. Howard Williams, David H. Marwick, Lachlan M. MacKinnon:
Using a Distributed Approach to Retrieve and Integrate Information from Heterogeneous Distributed Databases. 381-394
Electronic Edition (link) BibTeX
Daeyoung Kim, Yann-Hang Lee:
Periodic and Aperiodic Task Scheduling in Strongly Partitioned Integrated Real-time Systems. 395-409
Electronic Edition (link) BibTeX
Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son:
Concurrency Control Using Timestamp Ordering in Broadcast Environments. 410-422
Electronic Edition (link) BibTeX
Alan Roberts, Antonios Symvonis, David R. Wood:
Lower Bounds for One-to-one Packet Routing on Trees using Hot-Potato Algorithms. 423-435
Electronic Edition (link) BibTeX
Yang Jun, Greg Michaelson, Philip W. Trinder:
Explaining Polymorphic Types. 436-452
Electronic Edition (link) BibTeX
Constantinos Papadopoulos:
An Extended Temporal Logic for CSCW. 453-472
Electronic Edition (link) BibTeX

Volume 45, Number 5, 2002

Janne Skyt, Christian S. Jensen:
Persistent Views-A Mechanism for Managing Ageing Data. 481-493
Electronic Edition (link) BibTeX
B. John Oommen, Luís G. Rueda:
The Efficiency of Histogram-like Techniques for Database Query Optimization. 494-510
Electronic Edition (link) BibTeX
Victoria S. Uren, Thomas R. Addis:
How Weak Categorizers Based Upon Different Principles Strengthen Performance. 511-524
Electronic Edition (link) BibTeX
Irina Kozatchok, Samuel Pierre:
User Tracking and Mobility Management Algorithm for Wireless Networks. 525-539
Electronic Edition (link) BibTeX
Wei Jie, Wentong Cai, Stephen John Turner:
POEMS: A Parallel Object-oriented Environment for Multi-computer Systems. 540-560
Electronic Edition (link) BibTeX
Peter Sanders:
Randomized Receiver Initiated Load-balancing Algorithms for Tree-shaped Computations. 561-573
Electronic Edition (link) BibTeX

Volume 45, Number 6, 2002

Anna Formica, Michele Missikoff:
Concept Similarity in SymOntos: An Enterprise Ontology Management Tool. 583-594
Electronic Edition (link) BibTeX
Paolo Bellavista, Antonio Corradi, Cesare Stefanelli:
Java for On-line Distributed Monitoring of Heterogeneous Systems and Services. 595-607
Electronic Edition (link) BibTeX
Jonathan J. Cook:
Reverse Execution of Java Bytecode. 608-619
Electronic Edition (link) BibTeX
John Aycock, R. Nigel Horspool:
Practical Earley Parsing. 620-630
Electronic Edition (link) BibTeX
John W. Raymond, Eleanor J. Gardiner, Peter Willett:
RASCAL: Calculation of Graph Similarity using Maximum Common Edge Subgraphs. 631-644
Electronic Edition (link) BibTeX
Mark C. Little, Santosh K. Shrivastava, Neil A. Speirs:
Using Bloom Filters to Speed-up Name Lookup in Distributed Systems. 645-652
Electronic Edition (link) BibTeX
Jarmo Siltaneva, Erkki Mäkinen:
A Comparison of Random Binary Tree Generators. 653-660
Electronic Edition (link) BibTeX
Masayuki Abe, Masayuki Kanda:
A Key Escrow Scheme with Time-Limited Monitoring for One-way Communication Masayuki Abe and Masayuki Kanda. 661-671
Electronic Edition (link) BibTeX
Wen-Shenq Juang, Chin-Laung Lei, Horng-Twu Liaw:
A Verifiable Multi-Authority Secret Election Allowing Abstention from Voting. 672-682
Electronic Edition (link) BibTeX