Sciweavers

51 search results - page 5 / 11
» An Initial Assessment of Aspect-Oriented Programming
Sort
View
FLAIRS
2004
13 years 8 months ago
A Dialogue-Based Tutoring System for Beginning Programming
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...
H. Chad Lane, Kurt VanLehn
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
13 years 7 months ago
Local stability analysis using simulations and sum-of-squares programming
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...
Ufuk Topcu, Andrew K. Packard, Peter Seiler
ICSEA
2007
IEEE
14 years 1 months ago
The Knowledge Based Software Process Improvement Program: A Rational Analysis
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...
K. Alagarsamy, S. Justus, K. Iyakutti
EDUTAINMENT
2009
Springer
14 years 2 months ago
Entertaining Education - Using Games-Based and Service-Oriented Learning to Improve STEM Education
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...
Jon Preston, Briana Morrison
VSTTE
2010
Springer
13 years 5 months ago
Dafny Meets the Verification Benchmarks Challenge
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...
K. Rustan M. Leino, Rosemary Monahan