The Computer Journal, Volume 49, 2006

Volume 49, Number 1, January 2006

Capsule Reviews

Fairouz Kamareddine:
Capsule Reviews. 1-3
Electronic Edition (link) BibTeX

Semantic Web

Robert M. Colomb:
Formal versus Material Ontologies for Information Systems Interoperation in the Semantic Web. 4-19
Electronic Edition (link) BibTeX

Hypermedia

Duncan Martin, Helen Ashman:
Atomic Hypermedia. 20-31
Electronic Edition (link) BibTeX

Reasoning

Jixin Ma, Patrick J. Hayes:
Primitive Intervals versus Point-Based Intervals: Rivals or Allies? 32-41
Electronic Edition (link) BibTeX

Programming

Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore:
Caching and prefetching algorithms for programs with looping reference patterns. 42-61
Electronic Edition (link) BibTeX

Databases

Nikos A. Lorentzos, Jose Ramon Rios Viqueira:
Relational Formalism for the Management of Spatial Data. 62-81
Electronic Edition (link) BibTeX

Information Security

Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo:
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. 82-96
Electronic Edition (link) BibTeX
Stelvio Cimato, Roberto De Prisco, Alfredo De Santis:
Probabilistic Visual Cryptography Schemes. 97-107
Electronic Edition (link) BibTeX
Alexei Vernitski:
Can Unbreakable Mean Incomputable? 108-112
Electronic Edition (link) BibTeX

Distributed Systems

Pablo H. Ibargüengoytia, Sunil Vadera, Luis Enrique Sucar:
A Probabilistic Model for Information and Sensor Validation. 113-126
Electronic Edition (link) BibTeX

Volume 49, Number 2, March 2006

Capsule reviews

Capsule Reviews. 133
Electronic Edition (link) BibTeX

Editorial

Fionn Murtagh:
Editorial. 134-135
Electronic Edition (link) BibTeX

Special Focus--Building Adaptivity into Computer Networks

Erol Gelenbe:
Editorial: Building Adaptivity into Computer Networks. 136
Electronic Edition (link) BibTeX
Gerardo Rubino, Martín Varela, Jean-Marie Bonnin:
Controlling Multimedia QoS in the Future Home Network Using the PSQA Metric. 137-155
Electronic Edition (link) BibTeX
Jeremy Pitt, Lloyd Kamara, Marek J. Sergot, Alexander Artikis:
Voting in Multi-Agent Systems. 156-170
Electronic Edition (link) BibTeX
Ricardo Lent:
Design of a MANET Testbed Management System. 171-179
Electronic Edition (link) BibTeX
András György, György Ottucsák:
Adaptive Routing Using Expert Advice. 180-189
Electronic Edition (link) BibTeX
Taskin Koçak:
A Hybrid Network Processor with Support for High-Speed Execution of CPN and Upper Layer IP Protocols. 190-200
Electronic Edition (link) BibTeX

Computer Architectures

Margarita Amor, Montserrat Bóo, Emilio J. Padrón, Dirk Bartz:
Hardware Oriented Algorithms for Rendering Order-Independent Transparency. 201-210
Electronic Edition (link) BibTeX
Kostas Bousias, Nabil Hasasneh, Chris R. Jesshope:
Instruction Level Parallelism through Microthreading - A Scalable Approach to Chip Multiprocessors. 211-233
Electronic Edition (link) BibTeX

Programming Languages

Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci:
Using Control Dependencies for Space-Aware Bytecode Verification. 234-248
Electronic Edition (link) BibTeX

Volume 49, Number 3, May 2006

Capsule Reviews

Fairouz Kamareddine:
Capsule Reviews. 255-257
Electronic Edition (link) BibTeX

Distributed Systems

Mehmet Savsar, Fawaz S. Al-Anzi:
Reliability of Data Allocation on a Centralized Service Configuration with Distributed Servers. 258-267
Electronic Edition (link) BibTeX
Alain Cournier, Stéphane Devismes, Franck Petit, Vincent Villain:
Snap-Stabilizing Depth-First Search on Arbitrary Networks. 268-280
Electronic Edition (link) BibTeX

Databases

Apostolos N. Papadopoulos, Alexandros Nanopoulos, Yannis Manolopoulos:
Processing Distance Join Queries with Constraints. 281-296
Electronic Edition (link) BibTeX

Memory Management

Moses Reuven, Yair Wiseman:
Medium-Term Scheduler as a Solution for the Thrashing Effect. 297-309
Electronic Edition (link) BibTeX

Security

Goichiro Hanaoka, Junji Shikata, Yumiko Hanaoka, Hideki Imai:
Unconditionally Secure Anonymous Encryption and Group Authentication. 310-321
Electronic Edition (link) BibTeX
Javier Herranz:
Deterministic Identity-Based Signatures for Partial Aggregation. 322-330
Electronic Edition (link) BibTeX

Software Testing

Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo:
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. 331-344
Electronic Edition (link) BibTeX

Kolmogorov Lecture

Per Martin-Löf:
100 years of Zermelo's axiom of choice: what was the problem with it? 345-350
Electronic Edition (link) BibTeX

Algorithms

James F. Korsh:
Skarbek's Algorithm for t-Ary Trees. 351-357
Electronic Edition (link) BibTeX
Sung Eun Bae, Tadao Takaoka:
Improved Algorithms for the K-Maximum Subarray Problem. 358-374
Electronic Edition (link) BibTeX

Volume 49, Number 4, July 2006

Capsule Reviews

Fairouz Kamareddine:
Capsule Reviews. 381-382
Electronic Edition (link) BibTeX

The Computer Journal Lecture

Robin Milner:
Ubiquitous Computing: Shall we Understand It? 383-389
Electronic Edition (link) BibTeX
Discussion on Robin Milner's First Computer Journal Lecture: Ubiquitous Computing: Shall We Understand It? 390-399
Electronic Edition (link) BibTeX

Networks

Chung-Ming Huang, Ching-Hsien Tsai, Ming-Chi Tsai:
Design and Implementation of Video Streaming Hot-plug between Wired and Wireless Networks Using SCTP. 400-417
Electronic Edition (link) BibTeX
T. Y. Wong, K. T. Law, John C. S. Lui, Man Hon Wong:
An Efficient Distributed Algorithm to Identify and Traceback DDoS Traffic. 418-442
Electronic Edition (link) BibTeX

Distributed Systems

Barry Doyle, Stuart Bell, Alan F. Smeaton, Kealan McCusker, Noel E. O'Connor:
Security Considerations and Key Negotiation Techniques for Power Constrained Sensor Networks. 443-453
Electronic Edition (link) BibTeX
Juan Fernández, Eitan Frachtenberg, Fabrizio Petrini, José Carlos Sancho:
An Abstract Interface for System Software on Large-Scale Clusters. 454-469
Electronic Edition (link) BibTeX
Daniel Yuh Chao:
Computation of Elementary Siphons in Petri Nets For Deadlock Control. 470-479
Electronic Edition (link) BibTeX

Boole Lecture

Alan Bundy:
A Very Mathematical Dilemma. 480-486
Electronic Edition (link) BibTeX

Databases

Patrick Martin, Wendy Powley, Xiaoyi Xu, Wenhu Tian:
Automated Configuration of Multiple Buffer Pools. 487-499
Electronic Edition (link) BibTeX

Volume 49, Number 5, September 2006

Capsule reviews

Fairouz Kamareddine:
Capsule Reviews. 505-506
Electronic Edition (link) BibTeX

Special Focus--High Assurance Software Systems

Ing-Ray Chen, Bojan Cukic:
High Assurance Software Systems. 507-508
Electronic Edition (link) BibTeX
Jinchun Xia, Carl K. Chang, Jeffrey C. Wise, Yujia Ge:
An Empirical Performance Study on PSIM. 509-526
Electronic Edition (link) BibTeX
Guohui Li, LihChyun Shu:
Design and Evaluation of a Low-Latency Checkpointing Scheme for Mobile Computing Systems. 527-540
Electronic Edition (link) BibTeX
Qizhi Ye, Yu Lei, David Chenho Kung:
A Blocking-based Approach to Protocol Validation. 541-553
Electronic Edition (link) BibTeX
Engin Kirda, Christopher Krügel:
Protecting Users against Phishing Attacks. 554-561
Electronic Edition (link) BibTeX

Applications Software

José Luis Sierra, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón:
A Document-Oriented Paradigm for the Construction of Content-Intensive Applications. 562-584
Electronic Edition (link) BibTeX

Graphic Algorithms

Tiziana Calamoneri:
The L(h, k)-Labelling Problem: A Survey and Annotated Bibliography. 585-608
Electronic Edition (link) BibTeX

Search and Retrieval

Alexander Thomasian, Lijuan Zhang:
The Stepwise Dimensionality Increasing (SDI) Index for High-Dimensional Data. 609-618
Electronic Edition (link) BibTeX

Computational Models

Apostolos Syropoulos:
Fuzzifying P Systems. 619-628
Electronic Edition (link) BibTeX

Volume 49, Number 6, November 2006

Capsule reviews

Fairouz Kamareddine:
Capsule Reviews. 631-633
Electronic Edition (link) BibTeX

Transport Applications

Yi-Sheng Huang:
Design of Traffic Light Control Systems Using Statecharts. 634-649
Electronic Edition (link) BibTeX

History

Frank Land:
Leo II and the Model T Ford. 650-656
Electronic Edition (link) BibTeX

Kolmogorov Lecture

Jorma Rissanen:
The Structure Function and Distinguishable Models of Data. 657-664
Electronic Edition (link) BibTeX

Games

Dick den Hertog, P. B. Hulshof:
Solving Rummikub Problems by Integer Linear Programming. 665-669
Electronic Edition (link) BibTeX

Search and Retrieval

Alexander Thomasian, Lijuan Zhang:
Persistent Semi-Dynamic Ordered Partition Index. 670-684
Electronic Edition (link) BibTeX

Networks

Samir M. Koriem:
Development, Analysis and Evaluation of Performance Models for Mobile Multi-Agent Networks. 685-709
Electronic Edition (link) BibTeX
Vlad Rusu:
Verifying an ATM Protocol Using a Combination of Formal Techniques. 710-730
Electronic Edition (link) BibTeX

Distributed Systems

Betül Demiröz, Haluk Rahmi Topcuoglu:
Static Task Scheduling with a Unified Objective on Time and Resource Domains. 731-743
Electronic Edition (link) BibTeX

Memory Management

Carlos A. G. Assis, Edil S. Tavares Fernandes, Valmir C. Barbosa:
Modeling the Input History of Programs for Improved Instruction-Memory Performance. 744-761
Electronic Edition (link) BibTeX