Sciweavers

4250 search results - page 108 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
AIED
2009
Springer
14 years 3 months ago
Highlighting Learning Across a Degree with an Independent Open Learner Model
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. ...
Susan Bull, Peter Gardner
KES
2004
Springer
14 years 2 months ago
A Process Algebra Model of the Immune System
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...
Raul Monroy
CAISE
2004
Springer
14 years 25 days ago
The Value of Roles in Modeling Business Processes
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...
SPIN
1999
Springer
14 years 1 months ago
Model Checking for Managers
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...
IBERAMIA
1998
Springer
14 years 1 months ago
Searching the World Wide Web: Challenges and Partial Solutions
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...
Ricardo A. Baeza-Yates