We present a preventive model of tutoring for novice programming derived from a human corpus and describe our intelligent tutoring system PROPL embodying that model. The system co...
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
Knowledge management is the key area of focus in the present information technology scenario. It forms a basis to derive standards and models and steers organizations through an e...
This paper addresses the development of a computer game design and development curriculum at the authors’ institution. The basis for curriculum decisions, as well as comparison t...
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...