9006 search results - page 111 / 1802 » Modeling Software |
134
Voted
CBSE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
108
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
By its very nature, software development consists of many knowledge-intensive processes. One of the most difficult to model, however, is requirements elicitation. This paper prese...
134
Voted
PROMISE
2010
14 years 9 months ago
2010
Background: The relation between software effort and size has been modeled in literature as exponential, in the sense that the natural logarithm of effort is expressed as a linear...
181
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...
115
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...