This paper introduces UK-SpecIAL, a simple independent open learner model to raise learner awareness of their progress towards learning outcomes across components of their degree. ...
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
Rapid business changes require companies to make rapid changes in business processes and ultimately in BPS systems. These changes can be done rapidly if business modelers understan...
Pavel Balabko, Alain Wegmann, Alain Ruppen, Nicola...
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fen...
In this article we analyze the problem of searching the WWW, giving some insight and models to understand its complexity. Then we survey the two main current techniques used to se...