3147 search results - page 11 / 630 » Open-Source Model Checking |
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Open Source Software (OSS) has attracted enormous media and research attention since the term was coined in February 1998. The concept itself is founded on the paradoxical premise...
DB
2011
12 years 7 months ago
2011
Adoption of an information system could be reflected in two ways: through the adoption intentions of the non-adopters and the extent of adoption for the adopters. This study seeks...
ELPUB
2007
ACM
13 years 11 months ago
2007
ACM
For national advisory services in the UK (UKOLN, CETIS, and OSS Watch), varieties of openness (open source software, open standards, and open access to research publications and d...
BMCBI
2006
13 years 7 months ago
2006
Background: In the post-genome era, most research scientists working in the field of proteomics are confronted with difficulties in management of large volumes of data, which they...
KDD
2009
ACM
14 years 8 months ago
2009
ACM
The problem of ethnicity identification from names has a variety of important applications, including biomedical research, demographic studies, and marketing. Here we report on th...