5414 search results - page 22 / 1083 » Exploratory Model Building |
ITS
2000
Springer
14 years 6 days ago
2000
Springer
The ability of an ITS to develop an accurate student model is inherently limited by the bandwidth of information available. We have completed an exploratory research project showin...
ICCBSS
2005
Springer
14 years 2 months ago
2005
Springer
The selection process is a crucial activity of the development of COTS-based systems. A key step of the evaluation of COTS components carried out during selection is the matching b...
SPLC
2007
13 years 9 months ago
2007
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and implementing this kind of systems is a difficult opera...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
