12670 search results - page 278 / 2534 » Requirements Modeling |
216
click to vote
CCE
2005
15 years 6 months ago
2005
This paper presents a comprehensive formulation of a linearized state space process model for a generic two-reactant-two-product reactive distillation system. The development of t...
246
click to vote
SMA
2010
ACM
15 years 1 months ago
2010
ACM
Abstract The aim of the paper is to give a coherent account of the robustness approach based on shrinking neighborhoods in the case of i.i.d. observations, and add some theoretical...
198
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
The island model for evolutionary algorithms allows to delay the global convergence of the evolution process and encourage diversity. However, solving large size and time-intensiv...
172
click to vote
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
150
click to vote
ENTCS
2007
15 years 6 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...