15777 search results - page 3028 / 3156 » The Reformulation-Optimization Software Engine |
124
Voted
CN
2006
15 years 3 months ago
2006
Quality of service (QoS) provisioning for dynamically composable software elements in a programmable router has not received much attention. We present a router platform that supp...
135
click to vote
IJWIS
2007
15 years 3 months ago
2007
—In response to the increasing number of open source software (OSS) project initiatives and the increasing demand of OSS products as alternative solutions by industries, it is im...
154
click to vote
ASE
2005
15 years 3 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
222
click to vote
TOPLAS
2008
15 years 3 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 &...
132
click to vote
TSE
2002
15 years 2 months ago
2002
This paper presents an empirical study in an industrial context on the production of software using a framework. Frameworks are semicomplete applications, usually implemented as a ...