1953 search results - page 24 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
BMCBI
2007
13 years 7 months ago
2007
Time course gene expression experiments are a popular means to infer co-expression. Many methods have been proposed to cluster genes or to build networks based on similarity measu...
TRIER
2002
13 years 7 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
ECAI
1994
Springer
13 years 11 months ago
1994
Springer
This paper introduces a simple yete ective method for using causal domain knowledge for learning to control dynamic systems. Elementary qualitative causal dependencies of the domai...
RP
2009
Springer
14 years 2 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...