268 search results - page 31 / 54 » The future of research in free open source software developm... |
201
click to vote
AWPN
2008
15 years 1 months ago
2008
WoPeD (Workflow Petrinet Designer) is an easy-to-use, Java-based open source software tool being developed at the University of Cooperative Education, Karlsruhe. WoPeD is able to e...
100
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Small molecules are of increasing interest for bioinformatics in areas such as metabolomics and drug discovery. The recent release of large open access chemistry datab...
IWPSE
2010
IEEE
14 years 9 months ago
2010
IEEE
FOSS (Free and Open Source System) is repeatedly modied and reused by other FOSS or proprietary software systems. They are released to others under specic licenses whose terms and...
HAPTICS
2009
IEEE
15 years 6 months ago
2009
IEEE
Different aspects of bone surgery simulation has been a popular topic in haptics research field. This demonstration paper has two major results: a Free and Open Source Software (...
123
click to vote
SPIN
2012
Springer
13 years 2 months 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...