Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
John N. Hooker, G. Rago, V. Chandru, A. Shrivastav...
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
This paper explored whether a consideration of the personality type of each learner would extend collaborative learning experiences under a distant learning or e-learning environm...
This paper looks at the use of Interactive Learning Objects in teaching using a number of media types, we refer to these as Multimedia Interactive Learning Objects (MILO's) T...