12670 search results - page 170 / 2534 » Requirements Modeling |
137
Voted
COOPIS
2004
IEEE
15 years 7 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...
119
Voted
ITS
1992
Springer
15 years 7 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...
118
Voted
ASM
2008
ASM
15 years 5 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...
127
Voted
AIED
2005
Springer
15 years 9 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...
105
click to vote
BC
2006
15 years 3 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...