10669 search results - page 258 / 2134 » Software - Implemented Self-healing System |
172
click to vote
SE
2010
15 years 8 months ago
2010
: In this paper we propose model-driven techniques to migrate legacy systems into Service-Oriented Architectures (SOA). The proposal explores how querying and transformation techni...
187
click to vote
RITA
2000
15 years 6 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
185
click to vote
ADAEUROPE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...