The Computer Journal, Volume 49, 2006

Volume 49, Number 1, January 2006

Capsule Reviews

• 
  Fairouz Kamareddine:
  Capsule Reviews. 1-3

Semantic Web

• 
  Robert M. Colomb:
  Formal versus Material Ontologies for Information Systems Interoperation in the Semantic Web. 4-19

Hypermedia

• 
  Duncan Martin, Helen Ashman:
  Atomic Hypermedia. 20-31

Reasoning

• 
  Jixin Ma, Patrick J. Hayes:
  Primitive Intervals versus Point-Based Intervals: Rivals or Allies? 32-41

Programming

• 
  Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore:
  Caching and prefetching algorithms for programs with looping reference patterns. 42-61

Databases

• 
  Nikos A. Lorentzos, José Ramon Rios Viqueira:
  Relational Formalism for the Management of Spatial Data. 62-81

Information Security

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

Distributed Systems

• 
  Pablo H. Ibargüengoytia, Sunil Vadera, Luis Enrique Sucar:
  A Probabilistic Model for Information and Sensor Validation. 113-126

Volume 49, Number 2, March 2006

Capsule reviews

• 
  Capsule Reviews. 133

Editorial

• 
  Fionn Murtagh:
  Editorial. 134-135

Special Focus--Building Adaptivity into Computer Networks

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

Computer Architectures

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

Programming Languages

• 
  Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci:
  Using Control Dependencies for Space-Aware Bytecode Verification. 234-248

Volume 49, Number 3, May 2006

Capsule Reviews

• 
  Fairouz Kamareddine:
  Capsule Reviews. 255-257

Distributed Systems

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

Databases

• 
  Apostolos N. Papadopoulos, Alexandros Nanopoulos, Yannis Manolopoulos:
  Processing Distance Join Queries with Constraints. 281-296

Memory Management

• 
  Moses Reuven, Yair Wiseman:
  Medium-Term Scheduler as a Solution for the Thrashing Effect. 297-309

Security

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

Software Testing

• 
  Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo:
  Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. 331-344

Kolmogorov Lecture

• 
  Per Martin-Löf:
  100 years of Zermelo's axiom of choice: what was the problem with it? 345-350

Algorithms

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

Volume 49, Number 4, July 2006

Capsule Reviews

• 
  Fairouz Kamareddine:
  Capsule Reviews. 381-382

The Computer Journal Lecture

• 
  Robin Milner:
  Ubiquitous Computing: Shall we Understand It? 383-389
• 
  Discussion on Robin Milner's First Computer Journal Lecture: Ubiquitous Computing: Shall We Understand It? 390-399

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
• 
  Tsz-Yeung Wong, K. T. Law, John C. S. Lui, Man Hon Wong:
  An Efficient Distributed Algorithm to Identify and Traceback DDoS Traffic. 418-442

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
• 
  Juan Fernández, Eitan Frachtenberg, Fabrizio Petrini, José Carlos Sancho:
  An Abstract Interface for System Software on Large-Scale Clusters. 454-469
• 
  Daniel Yuh Chao:
  Computation of Elementary Siphons in Petri Nets For Deadlock Control. 470-479

Boole Lecture

• 
  Alan Bundy:
  A Very Mathematical Dilemma. 480-486

Databases

• 
  Patrick Martin, Wendy Powley, Xiaoyi Xu, Wenhu Tian:
  Automated Configuration of Multiple Buffer Pools. 487-499

Volume 49, Number 5, September 2006

Capsule reviews

• 
  Fairouz Kamareddine:
  Capsule Reviews. 505-506

Special Focus--High Assurance Software Systems

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

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

Graphic Algorithms

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

Search and Retrieval

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

Computational Models

• 
  Apostolos Syropoulos:
  Fuzzifying P Systems. 619-628

Volume 49, Number 6, November 2006

Capsule reviews

• 
  Fairouz Kamareddine:
  Capsule Reviews. 631-633

Transport Applications

• 
  Yi-Sheng Huang:
  Design of Traffic Light Control Systems Using Statecharts. 634-649

History

• 
  Frank Land:
  Leo II and the Model T Ford. 650-656

Kolmogorov Lecture

• 
  Jorma Rissanen:
  The Structure Function and Distinguishable Models of Data. 657-664

Games

• 
  Dick den Hertog, P. B. Hulshof:
  Solving Rummikub Problems by Integer Linear Programming. 665-669

Search and Retrieval

• 
  Alexander Thomasian, Lijuan Zhang:
  Persistent Semi-Dynamic Ordered Partition Index. 670-684

Networks

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

Distributed Systems

• 
  Betül Demiröz, Haluk Rahmi Topcuoglu:
  Static Task Scheduling with a Unified Objective on Time and Resource Domains. 731-743

Memory Management

• 
  Carlos A. G. Assis, Edil S. T. Fernandes, Valmir Carneiro Barbosa:
  Modeling the Input History of Programs for Improved Instruction-Memory Performance. 744-761