3765 search results - page 191 / 753 » Formal Methods for Systems Engineering Behavior Models |
148
click to vote
KBSE
2007
IEEE
16 years 25 days ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
151
click to vote
WSC
1997
15 years 7 months ago
1997
Manufacturing automotive powertrain components (engines and transmissions) is a complex task involving the integration of hundreds of components. Simulation is commonly applied in...
158
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
163
click to vote
PAKDD
2005
ACM
16 years 1 days ago
2005
ACM
This paper proposes a novel anomaly detection system for spacecrafts based on data mining techniques. It constructs a nonlinear probabilistic model w.r.t. behavior of a spacecraft ...
199
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...