5433 search results - page 530 / 1087 » Tool Support for Traceability-Adaptation |
230
click to vote
WOSP
2005
ACM
16 years 25 days ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
175
Voted
JCDL
2004
ACM
16 years 22 days ago
2004
ACM
Software tools, including Web browsers, e-books, electronic document formats, search engines, and digital libraries are changing the way people read, making it easier for them to ...
234
click to vote
ISMAR
2002
IEEE
16 years 6 days ago
2002
IEEE
This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes the realisation of an in-house designed Tangible Use...
204
click to vote
AIIA
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we present GLARE, a domain-independent system for acquiring, representing and executing clinical guidelines. GLARE is characterized by the adoption of Artificial Int...
232
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...