This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
Location-based context is important for many applications. Previous systems offered only coarse room-level features or used manually specified room regions to determine fine-sca...
David Demirdjian, Konrad Tollmar, Kimberle Koile, ...
This paper describes a simulation tool for the analysis of complex jobs described in the form of task graphs. The simulation procedure relies on the PN-based topological represent...
Computer science is necessary but not sufficient to understand and overcome the problems we face in software engineering. We need to understand not only the properties of the soft...
In this study, we describe a conversational agent designed to support collaborative learning interactions between pairs of students. We describe a study in which we independently m...