22698 search results - page 3982 / 4540 » Modeling in Software Engineering |
185
click to vote
CN
2006
15 years 7 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...
208
click to vote
IJWIS
2007
15 years 7 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...
235
click to vote
ASE
2005
15 years 7 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...
295
click to vote
TOPLAS
2008
15 years 7 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 &...
207
click to vote
SIGPLAN
1998
15 years 6 months ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...