228 search results - page 10 / 46 » A Model-Checking Approach for Service Component Architecture... |
110
click to vote
ICSOC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A self-managed system is both self-assembling and selfhealing. Service-oriented Computing (SoC) architectures, such as a Web Services Architecture (WS-A) illustrate a hig...
117
click to vote
FMCO
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
CD
2005
Springer
15 years 5 months ago
2005
Springer
The deployment of component-based software applications usually relies on a centralized repository where the components are stored. This paper describes a peer-to-peer approach for...
115
click to vote
ICSR
2011
Springer
14 years 3 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
109
click to vote
WSC
2007
15 years 2 months ago
2007
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...