228 search results - page 24 / 46 » A Model-Checking Approach for Service Component Architecture... |
106
Voted
ICWS
2009
IEEE
15 years 9 months 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...
JSS
2007
14 years 11 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...
STEP
2005
IEEE
15 years 5 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...
RTS
2006
14 years 11 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...
SAC
2010
ACM
15 years 6 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...