5775 search results - page 1 / 1155 » A Rationale-based Analysis Tool |
RE
2002
Springer
13 years 5 months ago
2002
Springer
Abstract. Few requirements engineering techniques are widely applied in industry. This can
NAR
2010
13 years 25 days ago
2010
Serial transcriptomics experiments investigate the dynamics of gene expression changes associated with a quantitative variable such as time or dosage. The statistical analysis of ...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
The importance of stochasticity within biological systems has been shown repeatedly during the last years and has raised the need for efficient stochastic tools. We present SABRE, ...
BIRTHDAY
2010
Springer
13 years 2 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
JUCS
2010
13 years 25 days ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...