The following pages link to The Computer Journal (Q83484):
Displayed 50 items.
- A Simplex Method for Function Minimization (Q83487) (← links)
- A New Method of Constrained Optimization and a Comparison With Other Methods (Q115600) (← links)
- Arguments and Results (Q2721823) (← links)
- A Semantic Comparison of Fusion and Syntropy (Q2721824) (← links)
- Safe Structural Conformance for Java (Q2721826) (← links)
- An Algorithm for Automatic Construction of Class Diagrams (Q2721828) (← links)
- Temporal Object-Oriented Programming (Q2721829) (← links)
- Interface/implementation Separation Mechanism for Integrating Object-oriented Management Systems and General-purpose Programming Languages (Q2721831) (← links)
- A Recovery Mechanism for Shells (Q2730077) (← links)
- Counter-clustering for Training Pattern Selection (Q2730079) (← links)
- Formally Verifying Fault Tolerant System Designs (Q2730080) (← links)
- A Fuzzy Petri Net Tool For Modeling and Verification of Knowledge-Based Systems (Q2730082) (← links)
- Programming by Numbers: A Programming Method for Novices (Q2730110) (← links)
- Implementation and Performance of QoS-aware Java Applications over ATM Networks (Q2730111) (← links)
- Improved Methods for Signature-Tree Construction (Q2730113) (← links)
- Overlapping Linear Quadtrees and Spatio-Temporal Query Processing (Q2730116) (← links)
- A Survey on Binary Tree Codings (Q2740922) (← links)
- Precedence Constrained Scheduling: A Case in P (Q2746270) (← links)
- BSP-style Computation: a Semantic Investigation (Q2746271) (← links)
- A Context-sensitive Graph Grammar Formalism for the Specification of Visual Languages (Q2746272) (← links)
- Unified Protocols of Concurrency Control and Recovery in Distributed Object-based Databases (Q2746273) (← links)
- Performance Evaluation of a Distributed Algorithm for an Inverse Heat Conduction Problem (Q2746274) (← links)
- A Conceptual Framework for Agent Definition and Development (Q2747743) (← links)
- Efficient Verification of a Multicast Protocol for Mobile Computing (Q2747744) (← links)
- Determining the Worst-case Synchronous Message Response Time in FDDI Networks (Q2747745) (← links)
- Workflow Concurrency Control (Q2747746) (← links)
- Turing Memorial Lecture (Q2747750) (← links)
- Distributed Location Databases for Tracking Highly Mobile Objects (Q2747751) (← links)
- Consistent Checkpointing for Transaction Systems (Q2747752) (← links)
- Finite Approximations for Model Checking Non-finite-state Processes (Q2747754) (← links)
- Liveness for Synchronized Choice Petri Nets (Q2747757) (← links)
- Dynamic SEOF: An Adaptable Object Prefetch Policy for Object-oriented Database Systems (Q2759247) (← links)
- Optimal Placement of Web Proxies for Replicated Web Servers in the Internet (Q2762718) (← links)
- Efficient Tracking of Mobile Objects in Globe (Q2762721) (← links)
- Balancing Traffic Load for Multi-Node Multicast in a Wormhole 2-D Torus/Mesh (Q2762723) (← links)
- Probability-based Fault-tolerant Routing in Hypercubes (Q2762724) (← links)
- Layout of the Cube-connected Cycles without Long Wires (Q2762725) (← links)
- Clustering Non-uniform-sized Spatial Objects to Reduce I/O Cost for Spatial-join Processing (Q2762726) (← links)
- Consensus-based Timestamps in Distributed Temporal Databases (Q2762727) (← links)
- A Logical Model for Information Retrieval based on Propositional Logic and Belief Revision (Q2762730) (← links)
- A Local Approach to the Testing of Real-time Systems (Q2762734) (← links)
- Extending CORBA Interfaces with Protocols (Q2762735) (← links)
- An Efficient and Secure Protocol for Multi-party Key Establishment (Q2762736) (← links)
- Locating Information with Uncertainty in Fully Interconnected Networks with Applications to World Wide Web Information Retrieval (Q2765224) (← links)
- Analysis of a Multimedia Stream using Stochastic Process Algebra (Q2765225) (← links)
- Diagnosing Workflow Processes using Woflan (Q2765226) (← links)
- Single-faced Boolean Functions and their Minimization (Q2765227) (← links)
- On O(1) Time Algorithms for Combinatorial Generation (Q2765228) (← links)
- A Data-Parallel Formulation for Divide and Conquer Algorithms (Q2765229) (← links)
- Comment on 'A Framework for Modelling Trojans and Computer Virus Infection' (Q2765230) (← links)