Sciweavers

2984 search results - page 327 / 597
» Method engineering process patterns
Sort
View
SAFECOMP
2007
Springer
15 years 8 months ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...
ISSRE
2010
IEEE
15 years 26 days ago
A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
Heiko Koziolek, Bastian Schlich, Carlos G. Bilich
WSC
2008
15 years 4 months ago
New approaches for inference of unobservable queues
Many inference methods of queueing systems have been developed on the basis of Larson's QIE(queue inference engine) with the assumption of homogeneous Poisson arrivals. It in...
Yun Bae Kim, Jinsoo Park
MICCAI
2008
Springer
16 years 3 months ago
Tracking the Swimming Motions of C
Quantitative analysis of the swimming motions of C. elegans worms are of critical importance for many gene-related studies on aging. However no automated methods are currently in u...
Christophe Restif, Dimitris N. Metaxas
WWW
2007
ACM
16 years 3 months ago
Altering document term vectors for classification: ontologies as expectations of co-occurrence
In this paper we extend the state-of-the-art in utilizing background knowledge for supervised classification by exploiting the semantic relationships between terms explicated in O...
Meenakshi Nagarajan, Amit P. Sheth, Marcos Kawazoe...