726 search results - page 82 / 146 » Formal Requirements Engineering: Learning from the Students |
FM
2006
Springer
15 years 3 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
105
click to vote
JAIR
2002
14 years 11 months ago
2002
Hidden Markov models hmms and partially observable Markov decision processes pomdps provide useful tools for modeling dynamical systems. They are particularly useful for represent...
108
click to vote
APN
2010
Springer
14 years 10 months ago
2010
Springer
Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or ...
109
click to vote
PROFES
2010
Springer
15 years 3 months ago
2010
Springer
Collecting large consistent data sets for real world software projects is problematic. Therefore, we explore how little data are required before the predictor performance plateaus...
118
click to vote
W4A
2005
ACM
15 years 5 months ago
2005
ACM
The need for providing learners with web-based learning content that match their accessibility needs and preferences, as well as providing ways to match learning content to userâ€...