3147 search results - page 2 / 630 » Open-Source Model Checking |
ISMS
2004
Springer
14 years 25 days ago
2004
Springer
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
OSS
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes a reference model for open source software (OSS) processes and its application towards discovering such processes from OSS project artifacts. This reference mo...
ECIS
2000
13 years 8 months ago
2000
Open source software such as the operating system Linux has in a few years created much attention as an alternative way to develop and distribute software. Open source is to let an...
ACL
2010
13 years 5 months ago
2010
We present the S-Space Package, an open source framework for developing and evaluating word space algorithms. The package implements well-known word space algorithms, such as LSA,...
HICSS
2008
IEEE
14 years 1 months ago
2008
IEEE
1 Shared understandings are important for software development as they guide to effective individual contributions to, and coordination of, the software development process. In thi...