4636 search results - page 318 / 928 » Modelling and Validation with VipTool |
148
click to vote
AIED
2009
Springer
15 years 10 months ago
2009
Springer
One of the most popular student modeling techniques currently available is Constraint Based Modeling (CBM), which is based on Ohlsson's theory of learning from performance err...
129
click to vote
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
123
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Business process models play an important role for the management, design, and improvement of process organizations and processaware information systems. Despite the exte...
128
Voted
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Existing random mobility models have their limitations such as speed decay and sharp turn which have been demonstrated by the previous studies. More importantly, mobili...
130
Voted
EMISA
2005
Springer
15 years 9 months ago
2005
Springer
: Business process modeling and design, as an essential part of business process management, has gained much attention in recent years. An important tool for this purpose is refere...