12670 search results - page 183 / 2534 » Requirements Modeling |
130
Voted
ERCIMDL
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
116
Voted
WSC
2007
15 years 6 months ago
2007
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
121
Voted
ICALT
2005
IEEE
15 years 9 months ago
2005
IEEE
Based on the overall aims of the AdeLE (Adaptive e-Learning with Eye-Tracking) project, and in particular motivated by the decision of using a strictly separated system’s archit...
128
Voted
PVM
2007
Springer
15 years 9 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
106
Voted
NN
2006
Springer
15 years 3 months ago
2006
Springer
The existence of multiple parallel loops connecting sensorimotor systems to the basal ganglia has given rise to proposals that these nuclei serve as a selection mechanism resolvin...