Volume 43,
Number 1,
2000
- Gianni Amati, Iadh Ounis:
Conceptual Graphs and First Order Logic.
1-12
- Jeremy M. R. Martin:
A Tool for Checking the CSP sat Property.
13-23
- A. D. Pengelly, Darrel C. Ince:
Quotient Machines, the Interface Equation and Protocol Conversion.
24-39
- John A. Ellis, Minko Markov:
In situ, Stable Merging by Way of the Perfect Shuffle.
40-53
- Simon Y. Berkovich, Eyas El-Qawasmeh:
Reversing the Error-Correction Scheme for a Fault-Tolerant Indexing.
54-64
- Kam-yiu Lam, Tei-Wei Kuo, Wai-Hung Tsang, Gary C. K. Law:
The Reduced Ceiling Protocol for Concurrency Control in Real-time Databases with Mixed Transactions.
65-80
- Suk-Kyu Song, Narasimhaiah Gorla:
A Genetic Algorithm for Vertical Fragmentation and Access Path Selection.
81-93
Volume 43,
Number 2,
2000
Volume 43,
Number 3,
2000
Volume 43,
Number 4,
2000
- Hugh Glaser, Pieter H. Hartel, Paul W. Garratt:
Programming by Numbers: A Programming Method for Novices.
252-265
- Sherali Zeadally:
Implementation and Performance of QoS-aware Java Applications over ATM Networks.
266-273
- Tijn Borghuis, Loe M. G. Feijs:
A Constructive Logic for Services and Information Flow in Computer Networks.
274-289
- Limin Xiang, Kazuo Ushijima, Selim G. Akl:
Generating Regular k-ary Trees Efficiently.
290-300
- Eleni Tousidou, Alexandros Nanopoulos, Yannis Manolopoulos:
Improved Methods for Signature-Tree Construction.
301-314
- Kuo-Liang Chung, Hsiu-Niang Chen:
A Neighbor-finding Algorithm for Bincode-based Images on Reconfigurable Meshes.
315-324
- Theodoros Tzouramanis, Michael Vassilakopoulos, Yannis Manolopoulos:
Overlapping Linear Quadtrees and Spatio-Temporal Query Processing.
325-343
Volume 43,
Number 5,
2000
- Helen Ashman:
Relations Modelling Sets of Hypermedia Links and Navigation.
345-363
- Sourav S. Bhowmick, Sanjay Kumar Madria, Wee Keong Ng, Ee-Peng Lim:
Data Visualization Operators for WHOWEDA.
364-385
- Sheng-Tzong Cheng, Chia-Mei Chen:
Dynamic Round-based Resource Management for On-demand Multimedia Servers.
386-395
- Duen-Ren Liu, Chen-Hsien Lin, Jing-Jang Hwang:
Classifying Video Documents by Hierarchical Structure of Video Contents.
396-410
- Hamid Sarbazi-Azad, Mohamed Ould-Khaoua, Lewis M. Mackenzie:
Message Latency in Hypercubes in the Presence of Matrix-Transpose Traffic.
411-419
- Antigoni Manousaka, Yannis Manolopoulos:
Fringe Analysis of 2-3 Trees with Lazy Parent Split.
420-429
- Willy Susilo, Reihaneh Safavi-Naini, Marc Gysin, Jennifer Seberry:
A New and Efficient Fail-stop Signature Scheme.
430-437
Volume 43,
Number 6,
2000
Copyright © Thu Nov 26 19:39:12 2009
by Michael Ley (ley@uni-trier.de)
