815 search results - page 81 / 163 » Towards an Architectural Framework for Agile Software Develo... |
191
click to vote
ASWEC
2006
IEEE
16 years 7 days ago
2006
IEEE
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...
176
click to vote
PADL
2005
Springer
15 years 11 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...
182
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
142
click to vote
WOSP
2004
ACM
15 years 11 months ago
2004
ACM
We propose an automated compositional approach for component-based performance engineering, called the CB-SPE. It adapts to a CB framework the concepts and steps of the wellknown ...
143
click to vote
SEMWEB
2007
Springer
16 years 8 days ago
2007
Springer
The paper presents the main results of the IST FP6 INFRAWEBS project. The project has developed an easy and effective way of constructing and using semantic descriptions for existi...