228 search results - page 24 / 46 » A Model-Checking Approach for Service Component Architecture... |
137
Voted
ICWS
2009
IEEE
16 years 25 days ago
2009
IEEE
Distributed systems increasingly span organizational boundaries and, with this, system and service management domains. Web services are the primary means of exposing services to c...
130
Voted
JSS
2007
15 years 3 months ago
2007
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
127
Voted
STEP
2005
IEEE
15 years 9 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
116
Voted
RTS
2006
15 years 3 months ago
2006
Abstract. The Time-Triggered Architecture, as architecture for safety-critical realtime applications, incorporates fault-tolerance mechanisms to ensure correct system operation des...
120
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
This paper proposes a software architecture and a development process for engineering dependable and controllable self-organising (SO) systems. Our approach addresses dependabilit...