Volume 44,
Number 1,
2001
Volume 44,
Number 2,
2001
- Nicholas M. Donofrio:
Turing Memorial Lecture.
67-74
Electronic Edition (link) BibTeX
- Evaggelia Pitoura, Ioannis Fudos:
Distributed Location Databases for Tracking Highly Mobile Objects.
75-91
Electronic Edition (link) BibTeX
- Roberto Baldoni, Francesco Quaglia, Michel Raynal:
Consistent Checkpointing for Transaction Systems.
92-100
Electronic Edition (link) BibTeX
- Francis C. M. Lau, Philip K. W. Cheng, Savio S. H. Tse:
An Algorithm for the 2-Median Problem on Two-Dimensional Meshes.
101-108
Electronic Edition (link) BibTeX
- Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi:
Finite Approximations for Model Checking Non-finite-state Processes.
109-123
Electronic Edition (link) BibTeX
- Daniel Y. Chao, Jose A. Nicdao:
Liveness for Synchronized Choice Petri Nets.
124-136
Electronic Edition (link) BibTeX
- Jason Crampton, George Loizou, Greg O'Shea:
A Logic of Access Control.
137-149
Electronic Edition (link) BibTeX
Volume 44,
Number 3,
2001
Volume 44,
Number 4,
2001
- Alexis C. Kaporis, Lefteris M. Kirousis, Evangelos Kranakis, Danny Krizanc, Yannis C. Stamatiou, Elias C. Stavropoulos:
Locating Information with Uncertainty in Fully Interconnected Networks with Applications to World Wide Web Information Retrieval.
221-229
Electronic Edition (link) BibTeX
- Howard Bowman, Jeremy Bryans, John Derrick:
Analysis of a Multimedia Stream using Stochastic Process Algebra.
230-245
Electronic Edition (link) BibTeX
- H. M. W. (Eric) Verbeek, Twan Basten, Wil M. P. van der Aalst:
Diagnosing Workflow Processes using Woflan.
246-279
Electronic Edition (link) BibTeX
- Yuke Wang, Carl McCrosky, Xiaoyu Song:
Single-faced Boolean Functions and their Minimization.
280-291
Electronic Edition (link) BibTeX
- Limin Xiang, Kazuo Ushijima:
On O(1) Time Algorithms for Combinatorial Generation.
292-302
Electronic Edition (link) BibTeX
- Margarita Amor, Francisco Argüello, Juan López, Oscar G. Plata, Emilio L. Zapata:
A Data-Parallel Formulation for Divide and Conquer Algorithms.
303-320
Electronic Edition (link) BibTeX
- Erkki Mäkinen:
Comment on `A Framework for Modelling Trojans and Computer Virus Infection'.
321-323
Electronic Edition (link) BibTeX
- Harold W. Thimbleby, Stuart Anderson, Paul A. Cairns:
Reply to `Comment on "A Framework for Modelling Trojans and Computer Virus Infection"' by E. Mäkinen.
324-325
Electronic Edition (link) BibTeX
- Fred Cohen:
Reply to `Comment on "A Framework for Modelling Trojans and Computer Virus Infection"' by E. Mäkinen.
326-327
Electronic Edition (link) BibTeX
Volume 44,
Number 5,
2001
- Xiaohua Jia, Deying Li, Xiao-Dong Hu, Ding-Zhu Du:
Optimal Placement of Web Proxies for Replicated Web Servers in the Internet.
329-339
Electronic Edition (link) BibTeX
- Aline Baggio, Gerco Ballintijn, Maarten van Steen, Andrew S. Tanenbaum:
Efficient Tracking of Mobile Objects in Globe.
340-353
Electronic Edition (link) BibTeX
- San-Yuan Wang, Yu-Chee Tseng, Ching-Sung Shiu, Jang-Ping Sheu:
Balancing Traffic Load for Multi-Node Multicast in a Wormhole 2-D Torus/Mesh.
354-367
Electronic Edition (link) BibTeX
- Jehad Al-Sadi, Khaled Day, Mohamed Ould-Khaoua:
Probability-based Fault-tolerant Routing in Hypercubes.
368-373
Electronic Edition (link) BibTeX
- Guihai Chen, Francis C. M. Lau:
Layout of the Cube-connected Cycles without Long Wires.
374-383
Electronic Edition (link) BibTeX
- Jitian Xiao, Yanchun Zhang, Xiaohua Jia:
Clustering Non-uniform-sized Spatial Objects to Reduce I/O Cost for Spatial-join Processing.
384-397
Electronic Edition (link) BibTeX
- Ngoc Thanh Nguyen:
Consensus-based Timestamps in Distributed Temporal Databases.
398-409
Electronic Edition (link) BibTeX
- David E. Losada, Alvaro Barreiro:
A Logical Model for Information Retrieval based on Propositional Logic and Belief Revision.
410-424
Electronic Edition (link) BibTeX
- Robert W. P. Luk:
Compact Morphic Directed Acyclic Word Graphs.
425-434
Electronic Edition (link) BibTeX
- Ousmane Koné:
A Local Approach to the Testing of Real-time Systems.
435-447
Electronic Edition (link) BibTeX
- Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo:
Extending CORBA Interfaces with Protocols.
448-462
Electronic Edition (link) BibTeX
- Gwoboa Horng:
An Efficient and Secure Protocol for Multi-party Key Establishment.
463-470
Electronic Edition (link) BibTeX
Volume 44,
Number 6,
2001
- Ing-Ray Chen:
Special Issue Editorial: High Assurance Systems.
471-472
Electronic Edition (link) BibTeX
- Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor S. Trivedi:
Estimating Software Rejuvenation Schedules in High-Assurance Systems.
473-485
Electronic Edition (link) BibTeX
- Steve Goddard, Kevin Jeffay:
Managing Latency and Buffer Requirements in Processing Graph Chains.
486-503
Electronic Edition (link) BibTeX
- Jeffrey J. P. Tsai, Eric Y. T. Juan:
Modeling and Verification of High-Assurance Properties of Safety-Critical Systems.
504-530
Electronic Edition (link) BibTeX
- Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid:
Use of Modern Processors in Safety-Critical Applications.
531-543
Electronic Edition (link) BibTeX
- Fabrizio Grandoni, Silvano Chiaradonna, Felicita Di Giandomenico, Andrea Bondavalli:
Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications.
544-556
Electronic Edition (link) BibTeX
- Zhiwei Xu, Taghi M. Khoshgoftaar:
Software Quality Prediction for High-Assurance Network Telecommunications Systems.
557-568
Electronic Edition (link) BibTeX
- Alessandro F. Garcia, Delano M. Beder, Cecília M. F. Rubira:
A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling.
569-587
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:52:45 2009
by Michael Ley (ley@uni-trier.de)
