The Generic Adaptation Framework research project aims to develop a new reference model for the adaptive hypermedia research field. The new model will consider new developments, t...
Abstract. This paper presents a case study for using a relatively recently developed methodology, Behavior Oriented Design, to develop an Intelligent Virtual Agent (IVA). Our usabi...
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
Monica Nogueira, Marcello Balduccini, Michael Gelf...
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
An educational web-based virtual factory and simulator environment is presented in this paper. It has been developed for university students to apply various statistical quality c...
Xuesong Chi, Matthew P. J. Pepper, Trevor A. Spedd...