3765 search results - page 142 / 753 » Formal Methods for Systems Engineering Behavior Models |
185
click to vote
EVOW
2009
Springer
15 years 4 months ago
2009
Springer
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
194
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
168
click to vote
NIPS
2007
15 years 7 months ago
2007
We propose a model that leverages the millions of clicks received by web search engines to predict document relevance. This allows the comparison of ranking functions when clicks ...
165
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
146
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...