1082 search results - page 61 / 217 » tools 2000 |
ETS
2000
IEEE
13 years 9 months ago
2000
IEEE
Collaborative learning supported through computers seems to be very promising, since advances in computational technology enable the widespread use of tools such as bulletin board...
HICSS
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes the basis for a suite of tools that let the programmer work in terms of design patterns and source code simultaneously. It first introduces a language for de...
ITS
2000
Springer
14 years 1 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
NAR
2000
13 years 9 months ago
2000
EcoCyc is an organism-specific Pathway/Genome Database that describes the metabolic and signaltransduction pathways of Escherichia coli, its enzymes, and--a new addition--its tran...
IWFM
2000
13 years 11 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...