This paper describes a program of research designed to understand how knowledge-sharing and learning can be supported in virtual communities. To conduct this research, we propose ...
Michael Bieber, Il Im, Ronald E. Rice, Ricki Goldm...
Process in software engineering is a growing concern for many software development organizations. The need for well-educated software engineers is bringing new software engineerin...
Pierre N. Robillard, Philippe Kruchten, Patrick d'...
This paper describes the human immune system and its functionalities from a computational viewpoint. The objective of this paper is to provide the biological basis for an artificia...
Roger L. King, Aric B. Lambert, Samuel H. Russ, Do...
We describe the speech-enabling approach to building auditory interfaces that treat speech as a first-class modality. The process of designing effective auditory interfaces is de...
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...