1003 search results - page 138 / 201 » A Framework for Developing Feature-Rich Software Systems |
IWQOS
2001
Springer
14 years 1 months ago
2001
Springer
We present and evaluate two experimental extensions to RSVP in terms of protocol specification and implementation. These extensions are targeted at apparent shortcomings of RSVP to...
PADL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
EIS
2011
13 years 3 months ago
2011
Most software engineering techniques that deal with software products customization are based on anticipation: The software designer has to foresee, somehow, the future needs for ...
WOSP
2010
ACM
14 years 3 months ago
2010
ACM
Performance non-determinism in computer systems complicates evaluation, use, and even development of these systems. In performance evaluation via benchmarking and simulation, nond...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...