12670 search results - page 170 / 2534 » Requirements Modeling |
169
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. We consider the use of a cluster system for managing autonomous databases. In order to improve the performance of read-only queries, we strive to exploit user requirement...
159
click to vote
ITS
1992
Springer
15 years 10 months ago
1992
Springer
One aim of intelligent tutoring systems is to tailor lessons to each individual student's needs. To do this a tutoring system requires a model of the student's knowledge...
161
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
165
click to vote
AIED
2005
Springer
15 years 12 months ago
2005
Springer
Open learner models to facilitate reflection are becoming more common in adaptive learning environments. There are a variety of approaches to presenting the learner model to the st...
145
click to vote
BC
2006
15 years 6 months ago
2006
Although conductance-based neural models provide a realistic depiction of neuronal activity, their complexity often limits effective implementation and analysis. Neuronal model red...