Volume 37,
Number 1,
1994
Special Issue:
Spatial Data
Standard Issue
Volume 37,
Number 2,
1994
- Alan Bundy, Hector MacQueen:
The New Software Copyright Law.
79-82 BibTeX
- 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 BibTeX
- Nenad Marovac:
Link Associated Computation in HyperNet.
88-95 BibTeX
- Victoria Stavridou:
Formal Methods and VLSI Engineering Practice.
96-113 BibTeX
- Jixin Ma, Brian Knight:
A General Temporal Theory.
114-123 BibTeX
- Dharmavani Bhagavathi, C. E. Grosch, Stephan Olariu:
A Greedy Hypercube-Labeling Algorithm.
124-128 BibTeX
- Kwok-bun Yue, R. T. Jacob:
An Optimal Algorithm for Reducing Edge-Solvable Mutual Exclusion Graphs.
129-138 BibTeX
- Greg A. Wade, Jiang-Hsing Chu:
Drawability of Complete Graphs Using a Minimal Slope Set.
139-142 BibTeX
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.
153-163 BibTeX
- Nikos A. Lorentzos, Alexandra Poulovassilis, Carol Small:
Implementation of Update Operations for Interval Relations.
164-176 BibTeX
- Doug Goldson:
A Symbolic Calculator for Non-Strict Functional Programs.
177-187 BibTeX
- Kisenchand Ranai, Koon Seng Lim, Robert H. Deng:
Simulating a Multimedia FDDI Backbone Network.
188-198 BibTeX
- Yuliang Zheng, Thomas Hardjono, Jennifer Seberry:
Reusing Shares in Secret Sharing Schemes.
199-205 BibTeX
- Mounir Hamdi, Richard W. Hall:
An Efficient Class of Interconnection Networks for Parallel Computations.
206-218 BibTeX
Short Nore
Volume 37,
Number 4,
1994
Special Issue:
Process Algebra
Standard Issue
Volume 37,
Number 5,
1994
- Ian Sommerville, Richard Bentley, Tom Rodden, Peter Sawyer:
Cooperative Systems Design.
357-366 BibTeX
- P. A. Firby, D. J. Stone:
Analysis of the Structure and Resolution of a Graphics Device.
367-376 BibTeX
- Christophe Poix, Robert Laurini:
A Geometric Reasoning Tool Based on a Successive Improvement Approach.
377-384 BibTeX
- A. N. Clark:
Pattern Recognition of Noisy Sequences of Behavioural Events using Functional Combinators.
385-398 BibTeX
- Per Brinch Hansen:
Interference Control in SuperPascal - A Block-Structured Parallel Language.
399-406 BibTeX
- Manuel Díaz, Ernesto Pimentel, José M. Troya:
DROL: A Distributed and Real-Time Object-Oriented Logic Environment.
407-421 BibTeX
- Marie Rose Low, Bruce Christianson:
Self Authenticating Proxies.
422-428 BibTeX
- Jonathan Giddy, Reihaneh Safavi-Naini:
Automated Cryptanalysis of Transposition Ciphers.
429-436 BibTeX
- Greg O'Shea:
On the Specification, Validation and Verification of Security in Access Control Systems.
437-448 BibTeX
- Nancy G. Kinnersley, William M. Kinnersley:
An Efficient Polynomial-Time Algorithm for Three-track Gate Matrix Layout.
449-462 BibTeX
Short Note
Volume 37,
Number 6,
1994
Distributed Operating Systems
- Vinny Cahill, Roland Balter, David Harper, Neville Harris, Xavier Rousset de Pina, Pedro Sousa:
The Comandos Distributed Application Platform.
477-486 BibTeX
- Paul Taylor, Vinny Cahill, Michael Mock:
Combining Object-oriented Systems and Open Transaction Processing.
487-498 BibTeX
- Brendan Tangney, Andrew Condon, Vinny Cahill, Neville Harris:
Requirements for Parallel Programming in Object-oriented Distributed Systems.
499-508 BibTeX
- Gerrit Kerber, Helmut Meitner, Friedemann Reim:
The Comandos Toolset for Distributed Systems Management.
509-518 BibTeX
- Roland Balter, Serge Lacourte, Michel Riveill:
The Guide Language.
519-530 BibTeX
- Pedro Sousa, Andre Zuquete, Nuno Neves, José Alves Marques:
Orthogonal Persistence in a Heterogeneous Distributed Object-Oriented Environment.
531-541 BibTeX
Volume 37,
Number 7,
1994
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 BibTeX
- Danny Chiang Choon Poo, Shwu-Yi Lee:
An Object-Oriented Systems Modelling Method based on the Jackson Approach.
669-682 BibTeX
- Helen E. Thomson, Pam J. Mayhew:
The Software Process: A Perspective on Improvement.
683-690 BibTeX
- Ken Tindell, Alan Burns:
Fixed Priority Scheduling of Hard Real-time Multi-media Disk Traffic.
691-697 BibTeX
- Chung-Ming Huang, Jenq-Muh Hsu:
An Incremental Protocol Verification Method.
698-710 BibTeX
- W. Ken Jackson, F. Warren Burton:
A Definite and Unfoldable, Partially Deterministic Language.
711-714 BibTeX
- Jiang-Hsing Chu, Gary D. Knott:
An Analysis of Spiral Hashing.
715-719 BibTeX
Volume 37,
Number 9,
1994
Volume 37,
Number 10,
1994
- John W. Patterson, Philip J. Willis:
Computer Assisted Animation: 2D or not 2D?
829-839 BibTeX
- C.-H. Lai:
Diakoptics, Domain Decomposition and Parallel Computing.
840-846 BibTeX
- Jixin Ma, Brian Knight, Miltos Pedritis:
A Revised Theory of Action and Time Based on Intervals and Points.
847-857 BibTeX
- Daniel K. C. Chan, Philip W. Trinder, Ray Welland:
Evaluating Object-Oriented Query Languages.
858-872 BibTeX
- Sridhar Seshadri, Doron Rotem, Arie Segev:
Optimal Arrangements of Cartridges in Carousel Type Mass Storage Systems.
873-887 BibTeX
- Graham Berrisford, M. Burrows:
Reconciling OO with Turing Machines.
888-906 BibTeX
- Ferruccio Barsi, Maria Cristina Pinotti:
Time Optimal Mixed Radix Conversion for Residue Number Applications.
907- BibTeX
Copyright © Sat May 16 23:52:44 2009
by Michael Ley (ley@uni-trier.de)