Search Sciweavers | Sciweavers

698 search results - page 102 / 140

» Synthesis of Fault-Tolerant Distributed Systems

click to vote

LPAR
2004
Springer

98views Automated Reasoning» more LPAR 2004»

Knowledge-Based Synthesis of Distributed Systems Using Event Structures

14 years 1 months ago

Download www.cs.cornell.edu

Abstract. To produce a program guaranteed to satisfy a given speciﬁcation one can synthesize it from a formal constructive proof that a computation satisfying that speciﬁcation...

Mark Bickford, Robert L. Constable, Joseph Y. Halp...

claim paper

Read More »

click to vote

AAAI
1998

145views Intelligent Agents» more AAAI 1998»

Qualitative Analysis of Distributed Physical Systems with Applications to Control Synthesis

13 years 9 months ago

Download www.aaai.org

Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...

Christopher Bailey-Kellogg, Feng Zhao

claim paper

Read More »

click to vote

EUSFLAT
2007

165views Fuzzy Logic» more EUSFLAT 2007»

Synthesis of Distributed Fuzzy Hierarchical Model in Decision Support Systems in Fuzzy Environment

13 years 9 months ago

Download www.eusflat.org

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...

Alexey N. Averkin, T. Agrafonova, N. Titova

claim paper

Read More »

click to vote

SOFSEM
2009
Springer

77views Theoretical Computer Science» more SOFSEM 2009»

Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems

14 years 4 months ago

Download www.ksi.mff.cuni.cz

Thomas Chatain, Paul Gastin, Nathalie Sznajder

claim paper

Read More »