5775 search results - page 303 / 1155 » A Rationale-based Analysis Tool |
144
click to vote
KCAP
2005
ACM
16 years 9 days ago
2005
ACM
Knowledge-mapping tools enable users to quickly identify relevant information and expertise. This paper discusses a number of natural-language phenomena that limit the performance...
150
click to vote
AIED
2005
Springer
16 years 8 days ago
2005
Springer
As web-enhanced courses become more successful, they put considerable burdens on instructors and teaching assistants. We present our work on developing software tools to support in...
189
click to vote
IWPC
2003
IEEE
16 years 3 hour ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
156
click to vote
DAC
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents an automated, layout-aware RF LCoscillator design tool, called CYCLONE that delivers an accurate and optimal LC-oscillator design, from specification to layout...
187
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...