| 2000 | An efficient communication induced rollforward checkpointing and recover protocol for distributed systems. | Manman Gu, Lei Zeng, Zhihong Liang, Bidyut Gupta |
| 2000 | Computer-based monitoring and fault diagnosis for chemical processes. | James H. Graham, Patricia A. S. Ralston |
| 2000 | Analyzing security in distributed collaborative systems. | Rex E. Gantenbein, Thomas L. James, Garrace DeGroot, Harshi L. Allen, Sung Y. Shin |
| 2000 | Database design and population for american sign language. | Jacob D. Furst, Karen Alkoby, Andr Berthiaume, Pattaraporn Chomwong, Mary Jo Davidson, Brian Konie, Glenn Lancaster, Steven L. Lytinen, John McDonald, Lopa Roychoudhuri, Jorge Toro, Noriko Tomuro, Rosalee J. Wolfe |
| 2000 | Prediction of inner and outer diameter flaws using ultrasonic pipe inspection system. | Raafat S. Elfouly, Reda A. Ammar, Howard A. Sholl |
| 2000 | Visual constraint programming environment for configuration problems. | Rania Abdel Hamid El-Sayed, Ahmed Sameh |
| 2000 | How to build real-time multi-agent systems using anytime techniques. | Claude Duvallet, Bruno Sadeg, Alain Cardon |
| 2000 | Merging ordered streams. | Walter Dosch, Annette Stmpel |
| 2000 | Transformational derivation of a bytecode verifier. | Walter Dosch, Snke Magnussen |
| 2000 | Design and implementation of a testing tool. | Narayan C. Debnath, Tamer Swidan, Roger Y. Lee, Hamid R. Abachi |
| 2000 | Estimating the saturation point of a multi-processor application using JAVA. | Paul Darbyshire |
| 2000 | Image encryption for multimedia applications. | Philip P. Dang, Paul M. Chau |
| 2000 | Time series pattern recognition using chaotic analysis. | Maurice E. Cohen, Donna L. Hudson, Prakash C. Deedwania |
| 2000 | On undetected faults in homogeneous methods for protocol testing. | Anthony Chung, Howard E. Motteler, Deepinder P. Sidhu |
| 2000 | Analysis of slotted ring network in real-time systems. | Sung Woo Chung, Seong Tae Jhang, Chu Shik Jhon |
| 2000 | An efficent new design of the optical ring network. | Po-Jen Chuang |
| 2000 | Evaluation of linear filters used with statistical inference for reducing blocking artifacts in video coded images. | Morshed U. Chowdhury |
| 2000 | Analytical approaches for modeling characterized MIN. | Wonjae Choi, Hyunseung Choo, Seong-Moo Yoo |
| 2000 | An architecture for resolving networking partitioning. | Changgui Chen, Wanlei Zhou |
| 2000 | Image modeling for medical databases. | Richard Chbeir, Youssef Amghar, Andr Flory |
| 2000 | Schema mapping in object-oriented multidatabase systems. | Ching-Ming Chao |
| 2000 | Toward an extension of interaction diagrams. | Kuitae Byun, Soon-Ok Park, Jaehyoun Kim, C. Robert Carlson |
| 2000 | Towards a meaningful formal definition of real-time computations. | Stefan D. Bruda, Selim G. Akl |
| 2000 | Efficient data representation for a very large pharmaceutical data repository. | Zina Ben-Miled, Alexander Zaitsev, Omar Bukhres, Michael Bem, Robert Jones, Robert J. Oppelt |
| 2000 | Artificial Immune Systems for Soil Data Classification | Venkata Atluri, Chih-Cheng Hung, Tommy L. Coleman |