default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Computer Journal, Volume 37, 1994
Volume 37, Number 1, 1994
- Jürg Nievergelt, Michael Freeston:
Special Issue Editorial: Other Objects, or: What is unique about Spatial Data? 1-2 - Dominic A. Varley, Mahes Visvalingam:
Road Extraction and Topographic Data Validation Using Area Topology. 3-15 - Oliver Günther
, Johannes Lamberts:
Object-oriented Techniques for the Management of Geographic and Environmental Data. 16-25 - Michael F. Worboys:
A Unified Model for Spatial and Temporal Information. 36-34 - Peter Schorn:
Degeneracy in Geometric Computation and the Perturbation Approach. 35-42
- Christopher B. Jones, David B. Kidner, J. Mark Ware:
The Implicit Triangulated Irregular Network and Multiscale Spatial Databases. 43-57 - James Bradley:
A Complete L-system Specification for Generating an Exact Self-affine Growth-Decay Function with a Random Walk Scaling Property. 58-66 - Daniel Y. Chao, MengChu Zhou, David T. Wang:
Extending the Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems. 67-76
Volume 37, Number 2, 1994
- Alan Bundy, Hector L. MacQueen:
The New Software Copyright Law. 79-82 - Ian H. Witten, Timothy C. Bell, Alistair Moffat, Craig G. Nevill-Manning, Tony C. Smith, Harold W. Thimbleby:
Semantic and Generative Models for Lossy Text Compression. 83-87 - Nenad Marovac:
Link Associated Computation in HyperNet. 88-95 - Victoria Stavridou:
Formal Methods and VLSI Engineering Practice. 96-113 - Jixin Ma, Brian Knight:
A General Temporal Theory. 114-123 - Dharmavani Bhagavathi, Chester E. Grosch, Stephan Olariu:
A Greedy Hypercube-Labeling Algorithm. 124-128 - Kwok-Bun Yue, R. T. Jacob:
An Optimal Algorithm for Reducing Edge-Solvable Mutual Exclusion Graphs. 129-138 - Greg A. Wade, Jiang-Hsing Chu:
Drawability of Complete Graphs Using a Minimal Slope Set. 139-142
Volume 37, Number 3, 1994
- Mik Lamming, Peter Brown, Kathleen Carter, Margery Eldridge, Mike Flynn, Gifford Louie, Peter Robinson, Abigail Sellen:
Drawability of Complete Graphs Using a Minimal Slope Set. Comput. J. 37(3): 153-163 (1994) - Nikos A. Lorentzos, Alexandra Poulovassilis, Carol Small:
Implementation of Update Operations for Interval Relations. 164-176 - Doug Goldson:
A Symbolic Calculator for Non-Strict Functional Programs. 177-187 - Kisenchand Ranai, Koon-Seng Lim, Robert H. Deng:
Simulating a Multimedia FDDI Backbone Network. 188-198 - Yuliang Zheng, Thomas Hardjono, Jennifer Seberry:
Reusing Shares in Secret Sharing Schemes. 199-205 - Mounir Hamdi, Richard W. Hall:
An Efficient Class of Interconnection Networks for Parallel Computations. 206-218
- Benjamin Arazi:
On Primality Testing using Purely Divisionless Operations. 219-222
Volume 37, Number 4, 1994
- Søren Christensen, Yoram Hirshfeld, Faron Moller:
Decidable Subsets of CCS. 233-242 - Jan A. Bergstra, Inge Bethke, Alban Ponse:
Process Algebra with Iteration and Nesting. 243-258 - Wan J. Fokkink, Hans Zantema:
Basic Process Algebra with Iteration: Completeness of its Equational Axioms. 259-268 - Sjouke Mauw, Michel A. Reniers:
An Algebraic Semantics of Basic Message Sequence Charts. 269-278 - Henri Korver:
A Theory for Simulators. 279-288 - Marc Bezem, Jan Friso Groote:
A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL. 289-307
- Pasi Fränti, Olli Nevalainen, Timo Kaukoranta:
Compression of Digital Images by Block Truncation Coding: A Survey. 308-332 - Wentong Cai, Stephen John Turner:
An Approach to the Run-Time Monitoring of Parallel Programs. 333-345
Volume 37, Number 5, 1994
- Ian Sommerville, Richard Bentley, Tom Rodden, Peter Sawyer:
Cooperative Systems Design. 357-366 - P. A. Firby, D. J. Stone:
Analysis of the Structure and Resolution of a Graphics Device. 367-376 - Christophe Poix, Robert Laurini:
A Geometric Reasoning Tool Based on a Successive Improvement Approach. 377-384 - Anthony N. Clark:
Pattern Recognition of Noisy Sequences of Behavioural Events using Functional Combinators. 385-398 - Per Brinch Hansen:
Interference Control in SuperPascal - A Block-Structured Parallel Language. 399-406 - Manuel Díaz, Ernesto Pimentel, José M. Troya:
DROL: A Distributed and Real-Time Object-Oriented Logic Environment. 407-421 - Marie Rose Low, Bruce Christianson:
Self Authenticating Proxies. 422-428 - Jonathan Giddy, Reihaneh Safavi-Naini:
Automated Cryptanalysis of Transposition Ciphers. 429-436 - Greg O'Shea:
On the Specification, Validation and Verification of Security in Access Control Systems. 437-448 - Nancy G. Kinnersley, William M. Kinnersley:
An Efficient Polynomial-Time Algorithm for Three-track Gate Matrix Layout. 449-462
- A. A. K. Majumdar:
A Note on the Iterative Algorithm for the Reve's Puzzle. 463-464
Volume 37, Number 6, 1994
- Vinny Cahill, Roland Balter, David Harper, Neville Harris, Xavier Rousset de Pina, Pedro Manuel Antunes Sousa:
The Comandos Distributed Application Platform. 477-486 - Paul Taylor, Vinny Cahill, Michael Mock:
Combining Object-oriented Systems and Open Transaction Processing. 487-498 - Brendan Tangney, Andrew Condon, Vinny Cahill, Neville Harris:
Requirements for Parallel Programming in Object-oriented Distributed Systems. 499-508 - Gerrit Kerber, Helmut Meitner, Friedemann Reim:
The Comandos Toolset for Distributed Systems Management. 509-518 - Roland Balter, Serge Lacourte, Michel Riveill:
The Guide Language. 519-530 - Pedro Manuel Antunes Sousa, Andre Zuquete, Nuno Neves, José Alves Marques:
Orthogonal Persistence in a Heterogeneous Distributed Object-Oriented Environment. 531-541
Volume 37, Number 7, 1994
- J. A. Bakker:
A Semantic Approach to Enforce Correctness of Data Distribution Schemes. 561-575 - Mostafa A. Bassiouni, Amar Mukherjee, Mark J. Llewellyn:
Design and Implementation of Extended Boolean and Comparison Operators for Time-Oriented Query Languages. 576-587 - Brian Knight, Jixin Ma:
A Temporal Database Model Supporting Relative and Absolute Time. 588-597 - B. John Oommen, David T. H. Ng:
A New Technique for Enhancing Linked-List Data Retrieval: Reorganize Data Using Artificially synthesized Queries. 598-609 - Lanfranco Lopriore:
Stack Cache Memory for Block-Structured Programs. 610-620 - Noureddine Belkhatir, Walcélio L. Melo:
Supporting Software Development Processes in Adele 2. 621-628 - I. McFarlane, Stuart G. Hoggar:
Optimal Drivers for the 'Random' Iteration Algorithm. 629-640 - Joseph L. Ganley, Lenwood S. Heath:
Optimal and Random Partitions of Random Graphs. 641-643
Volume 37, Number 8, 1994
- Steve Benford, John Bowers, Lennart E. Fahlén, John A. Mariani, Tom Rodden:
Supporting Cooperative Work in Virtual Environments. 653-668 - Danny Chiang Choon Poo, Shwu-Yi Lee:
An Object-Oriented Systems Modelling Method based on the Jackson Approach. 669-682 - Helen E. Thomson, Pam J. Mayhew:
The Software Process: A Perspective on Improvement. 683-690 - Ken Tindell, Alan Burns:
Fixed Priority Scheduling of Hard Real-time Multi-media Disk Traffic. 691-697 - Chung-Ming Huang, Jenq-Muh Hsu:
An Incremental Protocol Verification Method. 698-710 - W. Ken Jackson, F. Warren Burton:
A Definite and Unfoldable, Partially Deterministic Language. 711-714 - Jiang-Hsing Chu, Gary D. Knott:
An Analysis of Spiral Hashing. 715-719
Volume 37, Number 9, 1994
- Richard A. Sharman:
Speech Recognition in the Office: How the Technology Supports Dictation. 735-744 - Graham A. Stephen, Paul Mather:
What is SP? 745-752 - Sunil Vadera, Farid Meziane:
From English to Formal Specifications. 753-763 - Kamyar Jambor-Sadeghi, Mohammad A. Ketabchi, Junjie Chue, Manoochehr Ghiassi:
A Systematic Approach to Corrective Maintenance. 764-778 - Ying Hao, Jyh-Charn Liu, Junguk L. Kim:
An All-Sharing Load-Balancing Scheme on the COMA/CD Network and its Analysis. 779-794 - Martin P. Ward:
Reverse Engineering through Formal Transformation: Knuths 'Polynomial Addition' Algorithm. 795-813
Volume 37, Number 10, 1994
- John W. Patterson, Philip J. Willis:
Computer Assisted Animation: 2D or not 2D? 829-839 - C.-H. Lai:
Diakoptics, Domain Decomposition and Parallel Computing. 840-846 - Jixin Ma, Brian Knight, Miltos Pedritis:
A Revised Theory of Action and Time Based on Intervals and Points. 847-857 - Daniel Kim Chung Chan, Philip W. Trinder, Ray Welland:
Evaluating Object-Oriented Query Languages. 858-872 - Sridhar Seshadri, Doron Rotem, Arie Segev:
Optimal Arrangements of Cartridges in Carousel Type Mass Storage Systems. 873-887 - Graham Berrisford, M. Burrows:
Reconciling OO with Turing Machines. 888-906 - Ferruccio Barsi, Maria Cristina Pinotti:
Time Optimal Mixed Radix Conversion for Residue Number Applications. 907-916
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
