5433 search results - page 355 / 1087 » Tool Support for Traceability-Adaptation |
237
click to vote
DICS
2006
15 years 10 months ago
2006
Virtual laboratories can be characterized by their long-lasting, large-scale computations, where a collection of heterogeneous tools is integrated into data processing pipelines. S...
161
click to vote
ITS
2000
Springer
15 years 10 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. ...
147
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper, we present ways of teaching the NL to FOL and the FOL to CF conversions. NL to FOL conversion teaching is based on the use of a structured and interactive process o...
211
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
171
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Internet users face challenges in evaluating the validity of online information. Such evaluation is not adequately supported by current tools; we outline some of the shortcomings ...