Abstract. This paper discusses the simple open student models used in two of our constraint-based tutors, SQLd KERMIT, and their effects on self-assessment. The systems present a h...
We consider the problem of planning in a stochastic and discounted environment with a limited numerical budget. More precisely, we investigate strategies exploring the set of poss...
Most open source software development projects include an open bug repository—one to which users of the software can gain full access—that is used to report and track problems...
In this paper we focus on tackling the insecurity problem of security protocols in the presence of an unbounded number of data such as nonces or session keys. First, we pinpoint f...
Airports for Agents1 (AA) is an implemented distributed multi-agent infrastructure designed for dynamic and unstable Internet environment. The infrastructure consists of platforms ...