228 search results - page 8 / 46 » A Model-Checking Approach for Service Component Architecture... |
105
click to vote
ETRICS
2006
15 years 3 months ago
2006
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...
112
Voted
IMCSIT
2010
14 years 9 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
EDOC
2007
IEEE
15 years 6 months ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
109
click to vote
EUROMICRO
2009
IEEE
15 years 3 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...
111
click to vote
QOSA
2010
Springer
14 years 9 months ago
2010
Springer
Design decisions for complex, component-based systems impact multiple quality of service (QoS) properties. Often, means to improve one quality property deteriorate another one. In ...