6650 search results - page 283 / 1330 » models 2009 |
180
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Recently, a new generation of adaptive Process-Aware Information Systems (PAISs) has emerged, which enables structural process changes during runtime. Such flexibility, ...
170
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose an effective automatic generation approach for a Cycle-Count Accurate Memory Model (CCAMM) from the Clocked Finite State Machine (CFSM) of the Cycle Accu...
209
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
199
click to vote
APCCM
2009
15 years 7 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...
167
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
This paper considers learner misconceptions information which is presented to the learner in an open learner model. We suggest that specific information about misconceptions may be...