The Computer Journal, Volume 50, 2007

Volume 50, Number 1, January 2007

• Fairouz Kamareddine:
  Capsule Reviews. 1-3
  Electronic Edition (link) BibTeX
• Editorial on the Occasion of Volume 50 of The Computer Journal. 4-6
  Electronic Edition (link) BibTeX

• Zhongqiang Chen, Zhongrong Chen, Alex Delis:
  An Inline Detection and Prevention Framework for Distributed Denial of Service Attacks. 7-40
  Electronic Edition (link) BibTeX
• Yuh-Min Tseng:
  A secure authenticated group key agreement protocol for resource-limited mobile devices. 41-52
  Electronic Edition (link) BibTeX

• Rachid Guerraoui, Michel Raynal:
  The Alpha of Indulgent Consensus. 53-67
  Electronic Edition (link) BibTeX

• Kil Hong Joo, Won Suk Lee:
  An Adaptive Materialization Method for Globally Optimized Query Evaluation in a Hierarchical Mediator System. 68-80
  Electronic Edition (link) BibTeX

• Hooman Nikmehr, Braden Phillips, Cheng-Chew Lim:
  A Fast Radix-4 Floating-Point Divider with Quotient Digit Selection by Comparison Multiples. 81-92
  Electronic Edition (link) BibTeX

• Ralf Gitzel, Ingo Ott, Martin Schader:
  Ontological Extension to the MOF Metamodel as a Basis for Code Generation. 93-115
  Electronic Edition (link) BibTeX
• Jesús Manuel Almendros-Jiménez, Luis Iribarne:
  Describing Use-Case Relationships with Sequence Diagrams. 116-128
  Electronic Edition (link) BibTeX

Volume 50, Number 2, March 2007

• Fairouz Kamareddine:
  Capsule Reviews. 131-133
  Electronic Edition (link) BibTeX

• Roland Rüdiger:
  Quantum Programming Languages: An Introductory Overview. 134-150
  Electronic Edition (link) BibTeX

• Alexander Gammerman, Vladimir Vovk:
  Hedging Predictions in Machine Learning: The Second Computer Journal Lecture. 151-163
  Electronic Edition (link) BibTeX
• Discussion on Hedging Predictions in Machine Learning by A. Gammerman and V. Vovk. 164-172
  Electronic Edition (link) BibTeX
• Alexander Gammerman, Vladimir Vovk:
  Rejoinder Hedging Predictions in Machine Learning. 173-177
  Electronic Edition (link) BibTeX

• A. Bakalis, Costas S. Iliopoulos, Christos Makris, Spyros Sioutas, Evangelos Theodoridis, Athanasios K. Tsakalidis, Kostas Tsichlas:
  Locating Maximal Multirepeats in Multiple Strings Under Various Constraints. 178-185
  Electronic Edition (link) BibTeX
• Abdelrahman Amer, B. John Oommen:
  A Novel Framework for Self-Organizing Lists in Environments with Locality of Reference: Lists-on-Lists. 186-196
  Electronic Edition (link) BibTeX

• Doina Bein, Ajoy Kumar Datta, Vincent Villain:
  Self-Stabilizing Local Routing in Ad Hoc Networks. 197-203
  Electronic Edition (link) BibTeX
• Sheng-Tzong Cheng, Ming-Hung Tao:
  A Scheduling-Based Medium Access Control Protocol for Supporting Multi-class Services in Wireless Networks. 204-216
  Electronic Edition (link) BibTeX

• Alexander Thomasian, Gang Fu, Spencer W. Ng:
  Analysis of Rebuild Processing in RAID5 Disk Arrays. 217-231
  Electronic Edition (link) BibTeX

• W. Paul Cockshott, Greg Michaelson:
  Are There New Models of Computation? Reply to Wegner and Eberbach. 232-247
  Electronic Edition (link) BibTeX

• Ricardo P. Jasinski:
  Fault-Tolerance Techniques for SRAM-Based FPGAs. 248
  Electronic Edition (link) BibTeX
• Carlos Caldeira:
  The Microsoft Data Warehouse Toolkit. 249
  Electronic Edition (link) BibTeX
• Marino Segnan:
  Web Data Management Practices - Emerging Techniques and Technologies. 249-250
  Electronic Edition (link) BibTeX

Volume 50, Number 3, May 2007

• Fairouz Kamareddine:
  Capsule Reviews. 251-253
  Electronic Edition (link) BibTeX

• Tony Hoare:
  The Ideal of Program Correctness: Third Computer Journal Lecture. 254-260
  Electronic Edition (link) BibTeX
• Discussion on The Ideal of Program Correctness by Tony Hoare. 261-268
  Electronic Edition (link) BibTeX
• Discussion on The Ideal of Program Correctness: Responses from Tony Hoare. 269-273
  Electronic Edition (link) BibTeX

• Chris Mairs:
  Inclusion and Exclusion in the Digital World: Turing Lecture 2006. 274-280
  Electronic Edition (link) BibTeX

• Ing-Ray Chen, Weiping He, Baoshan Gu:
  Proxy-based Regional Registration for Integrated Mobility and Service Management in Mobile IP Systems. 281-293
  Electronic Edition (link) BibTeX

• H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede:
  Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. 294-314
  Electronic Edition (link) BibTeX

• Monika Kapus-Kolar:
  Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State Machines. 315-331
  Electronic Edition (link) BibTeX

• Doina Bein, Ajoy Kumar Datta, Mehmet Hakan Karaata:
  An Optimal Snap-Stabilizing Multi-Wave Algorithm. 332-340
  Electronic Edition (link) BibTeX
• Tzong-Jye Liu, Chia-Lin Lee:
  State-Optimal Alternator for Uniform Synchronous Rings. 341-347
  Electronic Edition (link) BibTeX

• George F. Georgakopoulos, Kostas Politopoulos:
  MAX-DENSITY Revisited: a Generalization and a More Efficient Algorithm. 348-356
  Electronic Edition (link) BibTeX
• William Chung-Kung Yen:
  Edge-Orienting on Split, Planar and Treelike Graphs. 357-368
  Electronic Edition (link) BibTeX

• Peter Grünwald:
  Christopher S. Wallace Statistical and Inductive Inference by Minimum Message Length. Springer (2005), ISBN 038723795X 432 pp, Hardbound. 369-370
  Electronic Edition (link) BibTeX
• Mark Levene:
  Artificial Intelligence for Games. Series in Interactive 3D Technology. 371
  Electronic Edition (link) BibTeX
• Jorge Martínez Gil:
  Thinking on the Web: Berners-Lee, Gödel and Turing. 371-372
  Electronic Edition (link) BibTeX

Volume 50, Number 4, July 2007

• Fairouz Kamareddine:
  Capsule Reviews. 373-374
  Electronic Edition (link) BibTeX

• Karen Spärck Jones (1935-2007): Professor (emeritus) of Computers and Information, University of Cambridge. 375-376
  Electronic Edition (link) BibTeX

• Ruqian Lu, Zhi-Hua Zhou:
  Guest Editorial to the Special Issue on Advances of Artificial Intelligence and Knowledge Engineering in China. 377
  Electronic Edition (link) BibTeX
• Wei Li:
  R-Calculus: An Inference System for Belief Revision. 378-390
  Electronic Edition (link) BibTeX
• Sanjiang Li, Bernhard Nebel:
  Qualitative Spatial Representation and Reasoning: A Hierarchical Approach. 391-402
  Electronic Edition (link) BibTeX
• Kaile Su, Abdul Sattar, Xiangyu Luo:
  Model Checking Temporal Logics of Knowledge Via OBDDs. 403-420
  Electronic Edition (link) BibTeX
• Hongli Liang, Jue Wang, Yiyu Yao:
  User-Oriented Feature Selection for Machine Learning. 421-434
  Electronic Edition (link) BibTeX

• Shan-Tai Chen, Shun-Shii Lin, Li-Te Huang:
  A Two-Phase Optimization Algorithm For Mastermind. 435-443
  Electronic Edition (link) BibTeX

• Roberto Baldoni, Roberto Beraldi, Leonardo Querzoni, Antonino Virgillito:
  Efficient Publish/Subscribe Through a Self-Organizing Broker Overlay and its Application to SIENA. 444-459
  Electronic Edition (link) BibTeX

• Amit Thawani, Srividya Gopalan, V. Sridhar, Krithi Ramamritham:
  Context-aware Timely Information Delivery in Mobile Environments. 460-472
  Electronic Edition (link) BibTeX

• Vladimir Yanovski, Israel A. Wagner, Alfred M. Bruckstein:
  A Linear-Time Constant-Space Algorithm for the Boundary Fill Problem. 473-477
  Electronic Edition (link) BibTeX

• Emilio Ancillotti, Raffaele Bruno, Marco Conti, Enrico Gregori, Antonio Pinizzotto:
  A Layer-2 Framework for Interconnecting Ad Hoc Networks to Fixed Internet: Test-bed Implementation and Experimental Evaluation. 478-499
  Electronic Edition (link) BibTeX

• Antonio Izquierdo Manzanares:
  Professional Pen Testing for Web Applications - Programmer to Programmer Series (P2P). 500
  Electronic Edition (link) BibTeX

Volume 50, Number 5, September 2007

• Fairouz Kamareddine:
  Capsule Reviews. 501-504
  Electronic Edition (link) BibTeX

• Dan C. Marinescu, Gabriela M. Marinescu:
  The Boole Lecture Quantum Information: A Glimpse at the Strange and Intriguing Future of Information. 505-521
  Electronic Edition (link) BibTeX

• Mehran S. Fallah, Ahmad R. Sharafat:
  Service Availability in Concurrent Systems - Part I: A Theory of Hierarchical Services of Interacting Processes. 522-534
  Electronic Edition (link) BibTeX
• Mehran S. Fallah, Ahmad R. Sharafat:
  Service Availability in Concurrent Systems - Part II: Analysis and Case Studies Using HSIP. 535-554
  Electronic Edition (link) BibTeX
• Der-Chiang Li, Fengming M. Chang:
  An In-Out Combined Dynamic Weighted Round-Robin Method for Network Load Balancing. 555-566
  Electronic Edition (link) BibTeX

• Mark Levene, Judit Bar-Ilan:
  Comparing Typical Opening Move Choices Made by Humans and Chess Engines. 567-573
  Electronic Edition (link) BibTeX

• Asep Juarna, Vincent Vajnovszki:
  Some Generalizations of a Simion-Schmidt Bijection. 574-580
  Electronic Edition (link) BibTeX
• H. Ahrabian, A. Nowzari-Dalini:
  Parallel Generation of t-Ary Trees in A-order. 581-588
  Electronic Edition (link) BibTeX

• Qiang Tang:
  On The Security of a Group Key Agreement Protocol. 589-590
  Electronic Edition (link) BibTeX
• Kim-Kwang Raymond Choo:
  A Proof of Revised Yahalom Protocol in the Bellare and Rogaway (1993) Model. 591-601
  Electronic Edition (link) BibTeX
• Ren-Junn Hwang, Sheng-Hua Shiau:
  Provably Efficient Authenticated Key Agreement Protocol for Multi-Servers. 602-615
  Electronic Edition (link) BibTeX

• Jaesung Lee, Hyuk-Jae Lee, Chanho Lee:
  A High-Speed Link Layer Architecture for Low Latency and Memory Cost Reduction. 616-628
  Electronic Edition (link) BibTeX

Volume 50, Number 6, November 2007

• Fairouz Kamareddine:
  Capsule reviews. 629
  Electronic Edition (link) BibTeX

• Erol Gelenbe, Andrew Tilbrook, Richard Vinter:
  Editorial: Introduction to the Special Issue. 630-631
  Electronic Edition (link) BibTeX
• Robert A. Ghanea-Hercock, Erol Gelenbe, Nicholas R. Jennings, Oliver Smith, David N. Allsopp, Alex Healing, Hakan Duman, Simon Sparks, Nishan C. Karunatillake, Perukrishnen Vytelingum:
  Hyperion - Next-Generation Battlespace Information Services. 632-645
  Electronic Edition (link) BibTeX
• Asher Mahmood, Philip M. Tudor, William Oxford, Robert Hansford, James D. B. Nelson, Nicholas G. Kingsbury, Antonis Katartzis, Maria Petrou, Nikolaos Mitianoudis, Tania Stathaki, Alin Achim, David R. Bull, Cedric Nishan Canagarajah, Stavri G. Nikolov, Artur Loza, Nedeljko Cvejic:
  Applied Multi-Dimensional Fusion. 646-659
  Electronic Edition (link) BibTeX
• Nikolaos Mitianoudis, Tania Stathaki:
  Joint Fusion and Blind Restoration For Multiple Image Scenarios With Missing Data. 660-673
  Electronic Edition (link) BibTeX
• William Ng, Jack Li, Simon J. Godsill, Sze Kim Pang:
  Multitarget Initiation, Tracking and Termination Using Bayesian Monte Carlo Methods. 674-693
  Electronic Edition (link) BibTeX
• Samuel M. Waldron, John Patrick, Phillip L. Morgan, Sophia L. King:
  Influencing Cognitive Strategy by Manipulating Information Access. 694-702
  Electronic Edition (link) BibTeX
• Paul R. Smart, Alistair Russell, Nigel R. Shadbolt, m. c. schraefel, Les Carr:
  AKTiveSA: A Technical Demonstrator System For Enhanced Situation Awareness. 703-716
  Electronic Edition (link) BibTeX
• Gülay Öke, Georgios Loukas:
  A Denial of Service Detector based on Maximum Likelihood Detection and the Random Neural Network. 717-727
  Electronic Edition (link) BibTeX

• Imtiaz Ahmad, A. Shoba Das:
  Analysis and Detection Of Errors In Implementation Of SHA-512 Algorithms On FPGAs. 728-738
  Electronic Edition (link) BibTeX
• Chung-Ming Huang, Jian-Wei Li:
  Efficient and Provably Secure IP Multimedia Subsystem Authentication for UMTS. 739-757
  Electronic Edition (link) BibTeX

• Jan Peters:
  Computational Intelligence: Principles, Techniques and Applications. 758
  Electronic Edition (link) BibTeX