3514 search results - page 552 / 703 » Evolving Specification Engineering |
COMPSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
While meta-heuristics are effective for solving large-scale combinatorial optimization problems, they result from time-consuming trial-and-error algorithm design tailored to speci...
COMPSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
The influence of architecture in assurance of system safety is being increasingly recognised in mission-critical software applications. Nevertheless, most architectural strategies...
BPM
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The coordination of complex process structures is a fundamental task for enterprises, such as in the automotive industry. Usually, such process structures consist of seve...
CBSE
2006
Springer
14 years 1 months ago
2006
Springer
Designing architectures requires the balancing of multiple system quality objectives. In this paper, we present techniques that support the exploration of the quality properties of...
EUROMICRO
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...