1816 search results - page 223 / 364 » ITS Domain Modelling with Ontology |
168
click to vote
TAICPART
2006
IEEE
16 years 15 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
205
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
176
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
156
click to vote
JOT
2007
2007
A Framework to Specify Declarative Rules on Objects, Attributes and Associations in the Object Model
15 years 6 months ago
There are various mechanisms for creating an application object model. These mechanisms are used for modeling the application Meta model and the user models. Some of the mechanism...
165
click to vote
AIED
2005
Springer
16 years 1 days ago
2005
Springer
Time on task is an important predictor for how much students learn. However, students must be focused on their learning for the time invested to be productive. Unfortunately, stude...