537 search results - page 20 / 108 » Extended directed triple systems |
AMC
2006
13 years 7 months ago
2006
A new methodology for the reliability evaluation of an l-dissimilar-unit non-repairable cold-standby redundant system is introduced in this paper. Each unit is composed of a numbe...
IADT
1998
13 years 9 months ago
1998
One of the main tasks of workflow management systems is the coordination of activities in business processes. This paper introduces a solution framework to support adaptive workfl...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
ACMICEC
2004
ACM
14 years 1 months ago
2004
ACM
Publish/subscribe systems have gained increasing interest in the past few years. There are many commercial products available today that rely on them directly. However, up to now ...
MEMOCODE
2003
IEEE
14 years 29 days ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...