532 search results - page 59 / 107 » Distributed, Modular HTL |
ISORC
2002
IEEE
14 years 20 days ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
IPPS
1999
IEEE
14 years 1 days ago
1999
IEEE
A desired mesh architecture, based on connected-cycle modules, is constructed. To enhance the reliability, multiple bus sets and spare nodes are dynamically inserted to construct m...
ISORC
1999
IEEE
14 years 21 hour ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
ECOOPW
1999
Springer
14 years 19 hour ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
INTEROP
1999
Springer
14 years 8 hour ago
1999
Springer
Application systems in the earth observation area can be characterised as distributed, platform-inhomogeneous, complex, and cost intensive information systems. In order to manage t...