15253 search results - page 20 / 3051 » Integer-Programming Software Systems |
SOFTWARE
2002
13 years 9 months ago
2002
Software's increasingly critical role in systems of widespread significance presents new challenges for the education of software engineers. Not only is our dependence on sof...
LOBJET
2002
13 years 9 months ago
2002
Coping with huge amounts of data is one of the major problems in the context of software evolution. Current approaches reduce this complexity by filtering out irrelevant informatio...
SAT
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
TOPLAS
2008
13 years 9 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper examines business, design, and product development aspects of software business models. Contexts of small and large companies for creating software innovations are also...