When something unexpected happens in a large production system, administrators must first perform a search to isolate which components and component interactions are likely to be...
Abstract. In this paper we present the architecture of an Adaptive Educational Hypermedia System, named INSPIRE. This particular system, throughout its interaction with the learner...
Kyparisia A. Papanikolaou, Maria Grigoriadou, Harr...
Unambiguously, adaptive systems have to be evaluated empirically to guarantee that the adaptivity really works. Nevertheless, only few of the existing adaptive systems have been ev...
- We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for ea...
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...