950 search results - page 118 / 190 » Free and Open Source Software |
SCAM
2002
IEEE
15 years 2 months ago
2002
IEEE
Many software systems are developed with configurable functionality, and for multiple hardware platforms and operating systems. This can lead to thousands of possible configuratio...
MSR
2006
ACM
15 years 3 months ago
2006
ACM
When analyzing the evolution history of a software project, we wish to develop results that generalize across projects. One approach is to analyze design patterns, permitting char...
107
click to vote
CAV
2008
Springer
14 years 12 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...
ELPUB
2006
ACM
2006
ACM
Weaving the Web of Science. HyperJournal and the Impact of the Semantic Web on Scientific Publishing
15 years 3 months ago
In this paper we present HyperJournal, an Open Source web application for publishing on-line Open Access scholarly journals. In the first part (sections 1-3) we briefly describe t...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...