950 search results - page 45 / 190 » Free and Open Source Software |
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
In typical open source software development, developers use revision control systems for product management, mailing list systems for human communications, and bug tracking system...
C5
2006
IEEE
15 years 1 months ago
2006
IEEE
1 We propose a music generation software that allows large numbers of users to collaborate. In a virtual world, groups of users generate music simultaneously at different places i...
109
click to vote
SPIN
2012
Springer
13 years 4 days ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
CSMR
2009
IEEE
15 years 4 months ago
2009
IEEE
Past software engineering literature has firmly established that software architectures and the associated code decay over time. Architectural decay is, potentially, a major issu...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
We explore online technical support of open source software by a study of postings to discussion boards. Our results indicate that there are several types of detail that are requi...