Issue navigation
Volume 58, Issue 11, November 2015
Section A
Original Articles
Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2793–2803, https://doi.org/10.1093/comjnl/bxu117
A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2804–2823, https://doi.org/10.1093/comjnl/bxu126
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2824–2840, https://doi.org/10.1093/comjnl/bxu127
On the Power of SPARQL in Expressing Navigational Queries
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2841–2851, https://doi.org/10.1093/comjnl/bxu128
Data Classification Management with its Interfacing Structure for Hybrid SLC/MLC PRAM Main Memory
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2852–2863, https://doi.org/10.1093/comjnl/bxu133
Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2864–2875, https://doi.org/10.1093/comjnl/bxu135
A Statistically Rigorous Analysis of 2D Path-Planning Algorithms
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2876–2891, https://doi.org/10.1093/comjnl/bxu137
On the Origin of Recursive Procedures
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2892–2899, https://doi.org/10.1093/comjnl/bxu145
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2900–2920, https://doi.org/10.1093/comjnl/bxv001
Linear Programming Formulations for Computing Graph Layout Parameters
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2921–2927, https://doi.org/10.1093/comjnl/bxv013
Impact Set: Computing Influence Using Query Logs
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2928–2943, https://doi.org/10.1093/comjnl/bxv016
Hamiltonian Properties of DCell Networks
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2944–2955, https://doi.org/10.1093/comjnl/bxv019
A Fuzzy Extension to the OWL 2 RL Ontology Language
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2956–2971, https://doi.org/10.1093/comjnl/bxv028
Pruning Longer Branches of Independent Spanning Trees on Folded Hyper-Stars
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2972–2981, https://doi.org/10.1093/comjnl/bxv029
Harmony Assumptions in Information Retrieval and Social Networks
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 2982–2999, https://doi.org/10.1093/comjnl/bxv031
OntCAAC: An Ontology-Based Approach to Context-Aware Access Control for Software Services
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 3000–3034, https://doi.org/10.1093/comjnl/bxv034
Research on Algorithms to Capture Drivers’ Write Operations
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 3035–3056, https://doi.org/10.1093/comjnl/bxv035
Automatic Generation of Optimized OpenCL Codes Using OCLoptimizer
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 3057–3073, https://doi.org/10.1093/comjnl/bxv038
Narrowing the Complexity Gap for Colouring (Cs, Pt)-Free Graphs
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 3074–3088, https://doi.org/10.1093/comjnl/bxv039
Incomplete Distinguishing Sequences for Finite State Machines
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 3089–3113, https://doi.org/10.1093/comjnl/bxv041
A New Parameterized Algorithm for Predicting the Secondary Structure of RNA Sequences Including Pseudoknots
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 3114–3125, https://doi.org/10.1093/comjnl/bxv043
Planar and Quasi-Planar Simultaneous Geometric Embedding
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 3126–3140, https://doi.org/10.1093/comjnl/bxv048
Techniques for Genetic Software Architecture Design
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 3141–3170, https://doi.org/10.1093/comjnl/bxv049
Quality Assured Model-Driven Requirements Engineering and Software Development
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 3171–3186, https://doi.org/10.1093/comjnl/bxv051
Large-Scale Schema-Free Data Deduplication Approach with Adaptive Sliding Window Using MapReduce
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 3187–3201, https://doi.org/10.1093/comjnl/bxv052
An Autonomous Time-Dependent SLA Negotiation Strategy for Cloud Computing
The Computer Journal, Volume 58, Issue 11, November 2015, Pages 3202–3216, https://doi.org/10.1093/comjnl/bxv053
