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