698 search results - page 102 / 140 » Synthesis of Fault-Tolerant Distributed Systems |
137
Voted
LPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
127
Voted
AAAI
1998
15 years 4 months ago
1998
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
128
Voted
EUSFLAT
2007
15 years 4 months ago
2007
As the result of the development of Fuzzy Multiple Criteria Decision Making (FMCDM) with the help of fuzzy set theory a number of innovations have been made possible. The new appr...
80
Voted
SOFSEM
2009
Springer
16 years 8 days ago
2009
Springer
62
Voted
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
