Select All | Select None
You can now keep track of new articles from The Computer Journal on your personalized homepage!
The Capsule Reviews are intended to provide a short succinct review of each paper in the issue in order to bring to a wider readership. The Capsule Reviews were compiled by Fairouz Kamareddine. Professor Kamareddine is an Associate Editor of The Computer Journal and is based in the Department of...
The adoption of object-oriented (OO) framework approach can increase the reuse in software development. To reach this goal, however, a high quality OO framework design is needed. Moreover, an OO framework must be used in a proper way. General principles are proposed for OO framework design and...
State-based languages are widely used for modelling systems that have an internal state, such as communications protocols and embedded control systems. As testing is a vital part of system development, this has led to much interest in testing from finite state machines ( FSMs ). However, complex...
A new, simple non-statistical source coding technique for sequences of integers is suggested. The method is based on a tournament scheme, with the sequence arranged into pairs, where maxima (‘winners’) are encoded recursively, and minima are encoded by semi-fixed-length codes using the...
Role-based access control (RBAC) has emerged as the dominant access control paradigm for service-oriented systems, with this dominance being reflected by the popularity of RBAC both with the research community and with information technology vendors. RBAC's dominance was solidified in 2004 when...
Colin was Emeritus Professor of Software Practice at Middlesex University from where he retired only recently. He started his career at LEO Computers in the 1950s later joined me at the London School of Economics as a Research Fellow before moving on to York University, then returned to industry...
In the 1950s there was no software industry. Dina St Johnston, who had learned to program whilst working for the computer manufacturer Elliott-Automation, founded Vaughan Programming Services in 1959. The company began to specialise in on-line systems for digital process control at a time when...
Ovarian cancer is characterized by vague, non-specific symptoms, advanced stage at diagnosis and poor overall survival. A nested case control study was undertaken on stored serial serum samples from women who developed ovarian cancer and healthy controls (matched for serum processing and storage...
In this paper, we will present a design technique for user and database interaction based on UML. User interaction will be modeled by means of UML state diagrams, and database interaction by means of UML sequence diagrams. The proposed design technique establishes how to integrate both diagrams...
Model checking has been considered as a promising approach to establish the correctness of systems. Counterexample-guided abstraction refinement is a key strategy for model checking in verification of large-scale systems. State separation problem poses the main hurdle during the refinement. We...
results per page
Save this article to read later. You can see your Read Later on your DeepDyve homepage.
To save an article, log in first, or sign up for a DeepDyve account if you don't already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don't already have one.
Read and print from thousands of top scholarly journals.
Sign up with Facebook
Sign up with Google
Already have an account? Log in
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don't already have one.