77016 search results - page 589 / 15404 » Modeling |
204
click to vote
WECWIS
2005
IEEE
16 years 22 days ago
2005
IEEE
Business Process Modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a n...
188
click to vote
WETICE
2005
IEEE
16 years 22 days ago
2005
IEEE
: This paper describes the key ideas in the new Grid model: MiG (Minimum intrusion Grid). “The Simple Model” is a major milestone in developing the full MiG concept and when co...
132
click to vote
AIED
2005
Springer
16 years 22 days ago
2005
Springer
We describe research on data-drive refinement and evaluation of a probabilistic model of student learning for an educational game on number factorization. The model is to be used b...
150
click to vote
ATVA
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
158
click to vote
ECAL
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Developmental models simulate the spatio-temporal development of a complex system. The system described in this paper combines the advantages of a number of previously di...