JAMES R. KENEVAN

SELECT PUBLICATIONS

D. J. Cork. A. Toguem. J. Kenevan, Y-C Tsia and T. Hutch. "Using Fuzzy Logic to Confirm the Integrity of a Pattern Recognition Algorithm for Long Genornic Sequences - The W-Curve," Proceedings oj the International Conference on Mathematics and Engineering Techniques in Medicine and Biological Sciences (METMBS.) in Prnteomics and Structural Genomics. I. Hamid Arabnia. H. Valafar. and Mourad Elloumi, editors. CSREA Press, June 25-28. pp. 60-66, 2001.

Jami Montgomery, J. Kenevan. and M. Evens, "Dynamically urxuung an Application in a Multithreaded Environment." Proceedings of the International Symposium on Information Systems and Engineering, pp. 224-228, June 25-28, 2001.

A.B. Wolpert and J. R. Kenevan, "Information Retrieval on the Internet - A Realistic Queuing Model for Sojourn Time Analysis," Proceedings of the IASTED International Coherence. Modeling and Simulation. MS 2001, M. H. Hamza. editor. IASTED/ACTA Press, pp. 120-124, 2001.

Jami Montgomery. J. Kenevan, and M. Evens, "Dynamic Updating of an Executing Process." Proceedings of the 14th International Coherence on Computer Applications in Industry and Engineering (CAINE-2001), 2001.

James R. Kenevan and Alexander B. Wolpert. "Modeling Communication Protocols for Client-Server Networks: Model Checking Dynamical Systmes, Proceedings oj the IASTED International Conjerence, Modelling and Simulation, MS 200, M. H. Hamza. editor. IASTED/ACTA Press, pp. 191-198. 2000.

Carl K. Chang, Yong Liu, Thrihhuvana Murthy. James Kenevan. and Pattanasak Mogkolwat, "Simulation of UICCELL II," Simulation, The Monthly Journal oj the Society For Computer Simulation. " September 2000. Vol. 75, No. 3, pp. 128-140.

Ilhyun Lee, Haesun Kang Lee, and James Kenevan, "Scheduling Bounded Predictable (BP) Tasks," Proceedings of the International Conference on Software Engineering Applied to Networking and Parallel/Distributed Processing, SPND '00,", 2000.

S. P. Louca, and J. Kenevan. "Z-Tree: An Interconnection Network for High Performance Parallel Computer Systems." in Parallel and Distributed Computing and Systems, editors K. Li and T. S. Abdeuahman, IASTED/ACTA Press, 1996.

Carl K. Chang, Thribhuvana Murthy, Jianbin Ho. John Liu, James Kenevan. and Pattanasak Mongkolwat, "Study of Performance Engineering with Emphasis on Simulation of UICCELL II," in Proceedings oj the IASTED International Conjerence on Modeling and Simulation, M. H. Hamza. ed., pp. 403-406. 1995

Che.P.. J. R. Kenevan. M. Evens, and R. E. Neapolitan. "An Imprlementation of a Method for Determining the Uncertainty in Inferred Probabilities in Belief Networds." in Uncertainty in Artijicial Intelligence: Proceedings oj the Ninth Conjerence. 93, " D. Heckerman and A Mamdani. eds.. Morgan- Kaufmann, pp. 292-300. 1993.

Kenevan, J. R. and R. E. Neapolitan. "A Model Theoretic Approach to Prepositional Logic Using Beth Tableaux." Chapter 7 of Fuzzy Logic jor the Management oj Uncertainty, L. Zadeh and J. Kacprzyk, eds., Wiley, pp. 141-158, 1992.

Richard G. Bom. James R. Kenevan. "Theoretical Performance-Based Cost-Effectiveness of Multicomputers." The Computer Journal, 35(1), pp. 63-70. 1992.

David Han and J. R. Kenevan. "Self-Constructing Knowledge Representation in Software Construction," Supplementary Proceedings oj ICCAL '92 4th. International Conference on Computers and Learning, Ivan Tomek. ed.,1992, pp. 36-38.

David Han and J. R. Kenevan, "Automated Knowledge-Based Software Construction," IEEE, 1992, pp. 323-327.

Neapolitan, R. E. and J. R. Kenevan, "Investigation of Variances in Belief Networks." Proceedings oj the 7th Conjerence on Uncertainty in Artificial Intelligence, UCLA, North Holland. Amsterdam, pp. 232-240, 1991.

Richard E. Neapolitan and James R. Kenevan. "Bayesian Networks Applied to Therapy Monitoring." in Uncertainty in Artijicial Intelligence: Proceedings of the Seventh Confrerence, Morgan-Kaufmann. pp. 232-241, 1991.

El-Ruby. M. H., J. R. Kenevan, and C. R. Carlson. "A Linear Algorithm for Election in Linear Ring Configuration Networks." in Proceedings oj HICSS-24 {1991} Volume 1: Architecture and Emerging Technologies, Veljko Milalinovic and Bruce D. Shriver. eds., pp. 117-123.

El-Ruby, M. H., J. R. Kenevan, and C. R. Carlson. "Leader Election in Distributed Computing Systems." in  Proceeding of Computing in the '90's. The First Great Lakes Computer Science Conference. N. A. Sherwani. E. de Doncker. and J. A.  Kapenga. eds., Lecture Notes in Computer Science, Volume 507. Springer-Verlag, Berlin, pp. 350-356, 1990.  

R. Janota. B. Desai. J. Kenevan. and R. Carlson. "Design Issues in the Development of a Distributed System Testbed Tool: The Distributed Lock Manager," in Computer Applications in Design, Simulation, and Analysis, ISMM,  pp. 132-135, 1990

D. J. Cork and J. R. Kenevan. "A Model for the Control of the van Niel Sulfur Reaction in a

Fed-Batch Anaerobic Reactor." Development in Industrial Microbiology. Volume 31.(Journal oj Industrial Microbiology, Suppl. No. 5). G. E. Pierce, editor. Volume 31. pp. 127-131. 1990.

T. Elrad, K. Kumar, and J. Kenevan, "Modeling Distributed Termination with Pre-Defined Partial Termination Ordering," Proceedings oj the Second IEEE Symposium on Parallel and Distributed Processing," 1990.

 J. R. Kenevan. "Fuzzy First Order Logic and Proof Theory." in Proceedings OUCC-89: Fuzzy Logic Programming, 1991.

J. R. Kenevan. "Fuzzy Set Theory. Categories. Proof, and Higher Order Logics." Proceedings OUCC-89: Fuzzy Logic Programming, 1991.

K. Khalil and J. R. Kenevan. "An Efficient Algorithm for Performance Evaluation of Multiprocessor Systems," Proceedings oj the Seventh International Conference on Mathematical and Computer Modeling, in Mathematical and Computer Modeling in Science and Technology, Pergamon Press, Volume 14. 1990.