2399 search results - page 170 / 480 » Developing an Effective IT Integration and Support System |
139
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: MannDB was created to meet a need for rapid, comprehensive automated protein sequence analyses to support selection of proteins suitable as targets for driving the dev...
125
click to vote
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
The support available in Eclipse to help software developers learn complex APIs and development tools is inadequate; the support is largely passive and the support typically opera...
126
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Developers perform small-scale reuse tasks to save time and to increase the quality of their code. Due to the small scale of such tasks, the overhead in reusing source code can qu...
143
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
148
click to vote
ISMAR
2002
IEEE
15 years 9 months 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...