6253 search results - page 266 / 1251 » Use Case Modeling Guidelines |
113
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
142
Voted
ENTCS
2008
15 years 3 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
213
click to vote
MCS
2011
Springer
14 years 10 months ago
2011
Springer
In this paper we consider a discontinuous one-dimensional piecewise linear model describing a neoclassical growth model. These kind of maps are widely used in the applied context....
92
Voted
DAGSTUHL
2007
15 years 5 months ago
2007
The problem of deciding the probability model equivalence of two PRISM programs is addressed. In the finite case this problem can be solved (albeit slowly) using techniques from a...
116
click to vote
AMC
2005
15 years 3 months ago
2005
In this paper we study a free boundary problem modeling the growth of tumors. The model uses the conventional ideas of nutrient diffusion and consumption by the cells. We consider...