154 search results - page 2 / 31 » A Generic Approach to Structuring and Implementing Complex F... |
APCSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
Fibonacci Cubes (FCs), together with the enhanced and extended forms, are a family of interconnection topologies formed by diluting links from binary hypercube. While they scale up...
ICRE
1998
IEEE
13 years 9 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
COMPSAC
2002
IEEE
13 years 10 months ago
2002
IEEE
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...
CCGRID
2006
IEEE
13 years 9 months ago
2006
IEEE
The demand for an efficient fault tolerance system has led to the development of complex monitoring infrastructure, which in turn has created an overwhelming task of data and even...
HPCN
2000
Springer
13 years 8 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...