83 search results - page 4 / 17 » Is academic open source software dependable |
JSAT
2010
13 years 4 months ago
2010
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
ICIS
2003
13 years 11 months ago
2003
Information systems success is one of the most widely used dependent variables in information systems research. In this paper, we identify a range of measures that can be used to ...
DSN
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper tests the hypothesis that generic recovery techniques, such as process pairs, can survive most application faults without using application-specific information. We ex...
WCRE
2002
IEEE
14 years 2 months ago
2002
IEEE
Software miniaturization is a form of software refactoring focused on reducing an application to the bare bone. Porting an application on a hand-held device is very likely to requ...
APSEC
2002
IEEE
14 years 2 months ago
2002
IEEE
The conduct of collaborative scientific study mediated by the internet — e-Science — is giving rise to a new type of large distributed software project. This paper reports in...