2086 search results - page 144 / 418 » Mathematical Theory Exploration |
114
Voted
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Prior research has suggested that the failure rates of faults follow a log normal distribution. We propose a specific model where distributions close to a log normal arise natural...
125
Voted
ADC
2003
Springer
15 years 9 months ago
2003
Springer
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transac...
130
Voted
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
125
Voted
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
115
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
—Motivated by the migration mechanisms of ecosystems, various extensions to biogeography-based optimization (BBO) are proposed. BBO is an original optimization method based on th...