11 search results - page 1 / 3 » sefm 2009 |
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
—Contracts and their composition may be used with different goals in a component-based design flow: on the one hand, a component contract describes the guarantees a component is...