2203 search results - page 142 / 441 » The business of open source |
169
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Free and open source software is more and more used for software developments on UNIX systems. We are proposing a solution to control the deployment of free software in the context...
215
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
351
click to vote
ICCSA
2011
Springer
14 years 10 months ago
2011
Springer
This paper describes an ongoing implementation of an open source library dealing with parametric representation of dynamic geometry constructions. We show how some current issues i...
219
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
In this paper, we propose a new semantic clone detection e by comparing programs’ abstract memory states, which are computed by a semantic-based static analyzer. Our experimenta...
170
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
The concept of dynamic spectrum access (DSA) enables the licensed spectrum to be traded in an open market where the unlicensed users can freely buy and use the available licensed s...