83 search results - page 4 / 17 » Is academic open source software dependable |
130
Voted
JSAT
2010
14 years 9 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 ...
114
Voted
ICIS
2003
15 years 4 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 ...
116
Voted
DSN
2000
IEEE
15 years 7 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...
128
Voted
WCRE
2002
IEEE
15 years 7 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...
122
Voted
APSEC
2002
IEEE
15 years 7 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...